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

Από γνωστές ταυτολογίες έχουμε :

( p₁ p₂)( p₁p₃ ) ( p₁p₂)( p₁p₃ ) ( p₁p₂ )( p₁p₃ )
Η πρόταση ( p₁p₂ )( p₁p₃ ) είναι σε κανονική διαζευκτική μορφή.

Επιστροφή