Zdania logiczne Dawid: (~p ⋀ ~r) ⋁ (~q ⋁ p) Jak otrzymac z tego koniunktywna postac normalna?

Dawid: (∼p ∧∼r)∨(∼q∨p) Na początku opuściłbym nawiasy bo mogę (uogólniona alternatywa). Więc otrzymuję: (∼p ∧∼r)∨∼q∨p Następnie stosuję prawo rozdzielności alternatywy względem koniunkcji: ((∼p ∨∼q)∧(∼r ∨∼q))∨p Jeszcze raz stosuję prawo rozdzielności alternatywy względem koniunkcji: (∼p ∨∼q∨p)∧(∼r ∨∼q∨p) I doszedłem do koniunktywnej postaci normalnej. Czy tak jest dobrze?

Iks: Spróbuj tutaj: http://www-users.mat.umk.pl/~drlove/cnf/