postać normalna koniunktywno-alternatywna masticgum: czy ta formula zdaniowa jest poprawnie przeprowadzona do postaci normalnej koniunktywno−alternatywnej? p => ( ~p ⋁ q ) ~p ⋁ ( ~p ⋁ q ) ( ~p ⋁ ~p ) ⋀ (~p ⋁ q ) ~p ⋀ (~p ⋁ q ) ~p ⋁ q

ite: krócej (p ⇒ (~p ∨ q)) ≡ (∼p ∨ (~p ∨ q)) ≡ (∼p ∨ ~p ∨ q ) ≡ ~p ∨ q

ite: ~p ⋁ ( ~p ⋁ q ) ( ~p ⋁ ~p ) ⋀ (~p ⋁ q ) skąd to przekształcenie to nie wiem?