You are on page 1of 2

8

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

You might also like