LTL I CLT logika Red: Zadanie z logiki (studia informatyczne) Czy poniższe formuły są równoważne. FG p oraz AF AG p Odpowiedź uzasadni.