DÚ1 2022 do CNF, zadan 6./7.10.2022

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.