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