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