Professional Documents
Culture Documents
P
0
0
0
0
1
1
1
1
Q
0
0
1
1
0
0
1
1
((P-->Q)V(Q-->R))^(P<-->R
--->
^
R
P-->Q ()
P^ ()
0
1
0
1
1
0
0
1
1
1
1
1
0
1
0
1
1
0
0
0
0
1
0
0
Q-->R ()
()V() (D)
1
1
1
1
0
1
1
1
1
1
1
1
0
0
1
1
V
--> P
0
0
0
0
0
0
0
0
D^H
1
0
1
0
0
1
0
1
<--->
P<-->R H
1
0
1
0
0
1
0
1
Q
1
1
0
0
1
1
0
0