logika adam: Rozważyć formułę (¬p ⇒ ¬q) ⇒ (p ⇒ q) i znaleźć równoważną w postaci CNF (¬p ⇒ ¬q) ⇒ (p ⇒ q) = ¬(¬¬p v ¬q) v (¬p v q) = (¬¬¬p ∧ ¬¬q) v (¬p v g) =..... dalej sam zrobie || \/ czy tutaj zamiast ⋀, powinno być ∨? na jakie prawo się tutaj powołujemy?

adam: .... już chyba wiem. Na prawo De Morgana.

adam: ≡ (¬¬¬p ∧ ¬¬q) ∨ (¬p ∨ q) ≡ (¬p ∧ q) ∨ (¬p ∨ q) ≡ (¬p ∨ ¬p ∨ q) ∧ (q ∨ ¬p ∨ q) − skąd to wiadomo? jakie tutaj prawo się stosuje, z formuły wyżej?

adam: ?