DÚ1 2022 do CNF, zadan 6./7.10.2022
Conditions d'achèvement
Ouvert le : jeudi 6 octobre 2022, 00:00
À remettre : jeudi 13 octobre 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.