cnf a47: sprowadzić do CNF formułę: (p ∧ q ∧ r) v (p ∧ ~q ∧ r) v (~p ∧ q ∧ r)

ite: (p ∧ q ∧ r) v (p ∧ ~q ∧ r) v (~p ∧ q ∧ r) ≡ (q ∧ p ∧ r) v (~q ∧ p ∧ r) v (~p ∧ q ∧ r) ≡ prawo rozdzielności koniunkcji względem alternatywy ((q v ~q) ∧ (p ∧ r)) v (~p ∧ q ∧ r) ≡ (1 ∧ (p ∧ r)) v (~p ∧ q ∧ r) ≡ (p ∧ r) v (~p ∧ q ∧ r) ≡ (p ∧ r) v ((~p ∧ q) ∧ r) ≡ prawo rozdzielności koniunkcji względem alternatywy r ∧ (p v (~p ∧ q)) ≡ prawo rozdzielności alternatywy względem koniunkcji r ∧ ((p v ~p) ∧ (p v q)) ≡ r ∧ 1 ∧ (p v q) ≡ r ∧ (p v q)

a47: a można to zaprzeczyć i otrzymac CNF? Bo wtedy bedzie koniunkcja alternatyw czyli sie zgadza

a47: potrzebuje odpowiedzi

ite: A ktoś tutaj ma obowiązek jej udzielić ?

a47: nie, ja tylko dalem znac o swojej potrzebie

ABC: potrzeba jest matką wynalazków

a47: na razie wynalazlem cos innego, a chcialbym miec pewnosc co do tego