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