Θέλουμε να βρούμε πρόταση που να περιέχει μόνο τον σύνδεσμο | και να είναι ταυτολογικά ισοδύναμη με την ( p₁ p₂ ) p₃
Απάντηση :
Έχουμε λοιπόν,

( p1 p2 ) p3 ( p1 p2 ) p3 ( p1 p2 ) p3 [ ( p1 p2 ) | ( p1 p2 )] p3 [ [ ( p1 | p2 ) | ( p1 | p2 ) ] | [ ( p1 | p2 ) | ( p1 | p2 ) ] ] p3 [ [ [ ( p1 | p2 ) | ( p1 | p2 ) ] | [ ( p1 | p2 ) | ( p1 | p2 ) ] ] | p3 ] | [ [ [ ( p1 | p2 ) | ( p1 | p2 ) ] | [ ( p1 | p2 ) | ( p1 | p2 ) ] ] | p3 ]

Επιστροφή