²òÀâ
P
P ¢Á P
P ¢¿ ¢Ì¢ÌP
T
T
T
F
F
T
P
Q
P ¢¿ Q
¢ÌQ ¢¿ ¢ÌP
(P ¢¿ Q) ¢¿ (¢ÌP ¢¿ ¢ÌQ)
T
T
T
T
T
T
F
F
F
T
F
T
T
T
T
F
F
T
T
T
P
Q
¢ÌP ¢¿ ¢ÌQ
¢ÌP ¢¿ Q
(¢ÌP ¢¿ Q) ¢¿ P
(¢ÌP ¢¿ ¢ÌQ) ¢¿ (¢ÌP ¢¿ Q) ¢¿ P
T
T
T
T
T
T
T
F
T
T
T
T
F
T
F
T
F
T
F
F
T
F
T
T