mit Assoziativgesetz, Distributivgesetz und ¬x ∨ x = wahr und x ∧ w = x erhält man
(a ∧ ¬ b ∧ ¬ c) ∨ (a ∧ ¬ b ∧ c) ∨ (a ∧ b ∧ c)
≡ (a ∧ ¬ b ∧ ¬ c) ∨ ( (a ∧ ¬ b ∧ c) ∨ (a ∧ b ∧ c) )
≡ (a ∧ ¬ b ∧ ¬ c) ∨ ( a ∧ ( (¬ b ∧ c) ∨ (b ∧ c) ) )
≡ (a ∧ ¬ b ∧ ¬ c) ∨ ( a ∧ ( c ∧ (¬ b ∨ b ) ) )
≡ (a ∧ ¬ b ∧ ¬ c) ∨ ( a ∧ c )
≡ a ∧ ( (¬ b ∧ ¬ c) ∨ c )
≡ a ∧ ( (¬ b ∨ c ) ∧ (¬ c ∨ c ) )
≡ a ∧ (¬ b ∨ c) [KNF]
Gruß Wolfgang