1) Βρείτε μια πρόταση σε κανονική διαζευκτική μορφή που είναι ταυτολογικά ισοδύναμη με την ( p₁ ( p₂ p₃) ) Απάντηση

Έχουμε

Βλέπουμε ότι η δοσμένη πρόταση παίρνει την τιμή Α για τις τριάδες (Α , Α , Ψ) και (Α , Ψ , Α).
Η ζητούμενη πρόταση λοιπόν είναι η ( p₁p₂p₃)( p₁p₂p₃) ,
και ισχύει ( p₁ (p₂p₃) ) ( p₁p₂p₃)( p₁p₂p₃).

Επιστροφή