DÚ1 2022 do CNF, zadan 6./7.10.2022
Požadavky na absolvování
Otevřené: čtvrtek, 6. října 2022, 00.00
Termín: čtvrtek, 13. října 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.