3) Βρείτε πρόταση που να περιέχει μόνο τους συνδέσμους
,
και να είναι
ταυτολογικά ισοδύναμη
με την
p
1
(
p
2
p
3
)
Απάντηση
Έχουμε
p
1
(
p
2
p
3
)
p
1
(
p
2
p
3
)
(
p
1
(
p
2
p
3
)
)
(
p
1
(
p
2
p
3
)
)
Επιστροφή
, 
και να είναι ταυτολογικά ισοδύναμη με την
( p2
p3 )
p1 , και να είναι ταυτολογικά ισοδύναμη με την
( p2p3 )