Notice: Use of undefined constant hlavicka - assumed 'hlavicka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/fimu/cv3/index.php on line 11

Projekt ESF OPVK č. CZ.1.07/2.2.00/07.0217 "ORGANON: LMS pro výuku logiky"
je spolufinancován z Evropského sociální fondu a státního rozpočtu České republiky.



1) Rozhodněte, které z následujících formulí jsou správně utvořené.
2) Všechny správně utvořené formule převeďte do prenexního tvaru.
3) Určete, které ze správně utvořených formulí jsou vzájemně ekvivalentní.


Notice: Use of undefined constant paticka - assumed 'paticka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/fimu/cv3/index.php on line 64
Prosím, abyste do listu se zadáním domácího úkolu psali pouze výsledky. Pokud chcete zkontrolovat i postup úprav transformací, napište je (pokud možno čitelně) na druhou stranu nebo připevněte k zadání další papír, nejlépe sešívačkou. Děkuji.