Notice: Use of undefined constant hlavicka - assumed 'hlavicka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/los/du1/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 ztransformujte na konjunktivní nebo disjunktivní normální formu.
3) Vyberte si jednu z formulí, které jsou splnitelné i vyvratitelné, a zkontrolujte správnost transformace tabulkovou metodou.
Notice: Use of undefined constant paticka - assumed 'paticka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/los/du1/index.php on line 66
Prosím, abyste do listu se zadáním domácího úkolu psali pouze výsledky.
Tabulky ze zadání 3) napište pod zadání nebo na druhou stranu listu.
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.
