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
16 gru 09:57
ite: krócej (p ⇒ (~p ∨ q)) ≡ (∼p ∨ (~p ∨ q)) ≡ (∼p ∨ ~p ∨ q ) ≡ ~p ∨ q
16 gru 12:44
ite:
~p ⋁ ( ~p ⋁ q )
( ~p ⋁ ~p ) ⋀ (~p ⋁ q )
skąd to przekształcenie to nie wiem?
16 gru 12:47