DÚ1 2022 do CNF, zadan 6./7.10.2022
Требуемые условия завершения
Opened: четверг, 6 октября 2022, 00:00
Due: четверг, 13 октября 2022, 00:00
Máme formuli: \( (p \leftrightarrow q) \to (p \wedge \neg r ) \)
a) najděte všechny její modely (nad {p,q,r})
b) převeďte (včetně stručného postupu) do CNF - konjunktivní normální formy
--
CNF lze zjednodušit na \( (p \vee q) \wedge (\neg p \vee \neg q \vee \neg r ) \), protože \( (p \vee q) \to (p \vee q \vee \neg r ) \). (Subsumpce)
Formule se obvykle převádějí do CNF ekvivalentními úpravami (včetně zjednodušování), ne pomocí (ne)modelů z tabulky.