Wskaz przyklad formuly nie rownowaznej z DNF1 Michal0553: Mam za zadanie wskazac przyklad formuly ktora nie jest rownowazna z zadna formula postaci DNF1 Jak to wykonac? Czy nalezy podac formule ktora jest zawsze sprzeczna i pokazac ze nie ma formy DNF?

Michal0553: bump

a7: twierdzenie 6.3 w linku "dla każdej formuły istnieje formuła równoważna w DNF" jest i dowód http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci/Wyk%C5%82ad_2:_Rachunek_zda%C5%84 (?)