400 ejercicios sobre Tablas de Verdad con sus soluciones.

Prévia do material em texto

Tablas de Verdad
Complete las tablas de verdad de las siguientes proposiciones:
1). 2). 3).
4). 5). 6).
7). 8). 9).
10). 11). 12).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r→p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(¬p∧q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(p⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(r⇔q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨p)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(p∨r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p→q)⇔r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(¬q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(r∨¬p)
13). 14). 15).
16). 17). 18).
19). 20). 21).
22). 23). 24).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∧(¬p→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬p∨r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬q∨r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∨q)∧¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(q∨¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(r→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→p)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(p∨q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔¬q)⇔p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(¬q∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(p∧q)
25). 26). 27).
28). 29). 30).
31). 32). 33).
34). 35). 36).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬q→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨r)⇔¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p⇔(¬q→¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(¬q→r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→¬q)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r∨p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(p⇔r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(r∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔q)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q⇔¬r)
37). 38). 39).
40). 41). 42).
43). 44). 45).
46). 47). 48).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(¬p∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧¬r)→p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬r→q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(q⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧r)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨q)∨¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(¬q→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬q∨¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔q)⇔¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨q)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬p)→¬r
49). 50). 51).
52). 53). 54).
55). 56). 57).
58). 59). 60).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔¬r)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∧(r⇔¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧r)→q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→p)∧r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬q)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬q→r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(p∨¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p→¬q)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(¬p∧q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(p∨r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔p)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧r)∨p
61). 62). 63).
64). 65). 66).
67). 68). 69).
70). 71). 72).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(q⇔¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→p)∨q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(¬q∧¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∨p)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔p)∨¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(r∨¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(p⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→¬p)∧r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p→r)∨q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→¬r)⇔¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(q∨p)
73). 74). 75).
76). 77). 78).
79). 80). 81).
82). 83). 84).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧r)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(¬p⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬p)→¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬p)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨r)→q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p⇔¬q)→¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬q→r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→q)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬q⇔p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨r)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)⇔¬rp
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔¬r)∧¬p
85). 86). 87).
88). 89). 90).
91). 92). 93).
94). 95). 96).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔r)⇔p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨p)⇔r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→p)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(p→q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q∨r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧¬q)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧¬q)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨¬p)⇔q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬q∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→p)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬q∧¬r)
97). 98). 99).
100). 101). 102).
103). 104). 105).
106). 107). 108).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨r)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p⇔¬q)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)⇔p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→¬r)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(q∨p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨¬q)∧¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(q∨p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬r)→q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔¬r)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(¬q∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(r∨¬p)
109). 110). 111).
112). 113). 114).
115). 116). 117).
118). 119). 120).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(¬r⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧r)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔r)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→p)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∧¬q)∧p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬r)⇔¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(q⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧r)∧¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔q)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)∨p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬p→¬q)
121). 122). 123).
124). 125). 126).
127). 128). 129).
130). 131). 132).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨r)⇔¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(p∧¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬q∧p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬r)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(¬r∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬p∨q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬q)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨q)∨¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(p→r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬q→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(¬r∨¬p)
133). 134). 135).
136). 137). 138).
139). 140). 141).
142). 143). 144).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→r)∧¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨r)∨¬q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨r)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r⇔¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬q⇔¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬p)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(¬p→r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧¬q)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬q)∨p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨r)∨p
145). 146). 147).
148). 149). 150).
151). 152). 153).
154). 155). 156).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧¬r)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(¬q∨¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(¬p∨¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→(r⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→p)∧r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬q⇔¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧¬r)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→q)∧r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧¬q)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→p)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬r)∧¬p
157). 158). 159).
160). 161). 162).
163). 164). 165).
166). 167). 168).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬p⇔¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(¬p∨¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→q)→¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(r→q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(r∨¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬q)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(q→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(¬q∧r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
FF
r
V
F
V
F
V
F
V
F
(¬q⇔p)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬q)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧q)∨r
169). 170). 171).
172). 173). 174).
175). 176). 177).
178). 179). 180).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬q)∧¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(¬q∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(p∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(¬r⇔¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∨p)∧q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬q)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔r)∨¬q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬q)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(¬p⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→p)∧¬q
181). 182). 183).
184). 185). 186).
187). 188). 189).
190). 191). 192).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧r)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨¬p)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(¬q∨¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬r)⇔¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔¬p)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(¬q∧¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔¬p)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(¬q→r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧q)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬p⇔¬q)
193). 194). 195).
196). 197). 198).
199). 200). 201).
202). 203). 204).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(p⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(¬r→¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→(¬r⇔¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬p)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔p)∧q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(q∨¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨¬p)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨q)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(¬p∧r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(¬q→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬p→r)
205). 206). 207).
208). 209). 210).
211). 212). 213).
214). 215). 216).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(r→q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨¬p)∨¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→r)∨p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(r→¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔r)∨p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨¬r)∨p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧¬r)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(q∨¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)⇔¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬r)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬r⇔¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(¬q→¬p)
217). 218). 219).
220). 221). 222).
223). 224). 225).
226). 227). 228).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧¬q)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔¬r)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧q)⇔¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(¬r∨p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨q)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→¬q)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬r)→q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(q∧¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(¬q∨¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∧(¬r⇔¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q⇔¬r)⇔¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(r∧p)
229). 230). 231).
232). 233). 234).
235). 236). 237).
238). 239). 240).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(r∧q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨¬r)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(¬r⇔¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p⇔(¬q∨r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(p→¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(r∨¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(r→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(p∨q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p⇔¬q)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(r⇔¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬p⇔¬q)
241). 242). 243).
244). 245). 246).
247). 248). 249).
250). 251). 252).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨r)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→(¬p→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧¬r)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧r)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(¬q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧¬r)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(¬r⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬q⇔¬r)p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(¬q⇔r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧r)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(¬q→r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(p→¬q)
253). 254). 255).
256). 257). 258).
259). 260). 261).
262). 263). 264).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔q)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬q)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→(r⇔¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(¬r∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬p∨q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔r)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧r)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r⇔(q∨p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→p)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(¬p→¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬r)→¬q
265). 266). 267).
268). 269). 270).
271). 272). 273).
274). 275). 276).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧p)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(r⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(p⇔¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(r→q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(¬r∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→¬p)⇔¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔¬q)→r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔¬r)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬q∨r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(q→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∧¬p)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∨p)→¬r
277). 278). 279).
280). 281). 282).
283). 284). 285).
286). 287). 288).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(q∨¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(q→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧r)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔(¬p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)⇔p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧p)→¬q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧r)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬q→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(r∧p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨¬p)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→p)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬q∨r)
289). 290). 291).
292). 293). 294).
295). 296). 297).
298). 299). 300).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→p)⇔r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)∨¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q→r)⇔¬p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(q∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(q⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬r⇔¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(¬q⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(q⇔¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→q)→p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(q⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(r∨p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬q)⇔¬r
301). 302). 303).
304). 305). 306).
307). 308). 309).
310). 311). 312).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→(q∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(q⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→¬r)∨p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(¬q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p⇔(q→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(¬p∧¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(q⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(r∧p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→q)→p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∧r)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(q∨r)
313). 314). 315).
316). 317). 318).
319). 320). 321).
322). 323). 324).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(¬p∧r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(¬q∨¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬p)→¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∧(p∧¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(r∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∨(¬p∨¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬r)→¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∧(p∨¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(p⇔r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∧(¬r⇔p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(¬r∨¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r∧p)
325). 326). 327).
328). 329). 330).
331). 332). 333).
334). 335). 336).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬r)∧¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨q)→¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬r)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬p→¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∨(r∨q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(¬r→p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
VV
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬q→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(q→¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔p)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬p)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(p∧q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(r→¬q)
337). 338). 339).
340). 341). 342).
343). 344). 345).
346). 347). 348).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r⇔¬q)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∨p)→¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(¬r∨¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q→(r→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→(p→r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(¬r∧¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(q∧¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p⇔(q⇔r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∧q)→p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧p)∨q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨¬r)∧p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→¬r)∨¬q
349). 350). 351).
352). 353). 354).
355). 356). 357).
358). 359). 360).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r∨p)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬q∨¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q→p)⇔¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(r∨p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p∧(¬r⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬r∨q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(¬q→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p→r)→q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨¬r)∧p
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔¬p)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r∧¬q)⇔¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(r→q)
361). 362). 363).
364). 365). 366).
367). 368). 369).
370). 371). 372).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨(r∧q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔(r∧q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨¬r)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔r)∨¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(p⇔q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p→(¬q∨¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔p)⇔q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧p)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p⇔¬q)⇔¬r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(q∨r)⇔p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→¬q)∨¬p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(q→r)
373). 374). 375).
376). 377). 378).
379). 380). 381).
382). 383). 384).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(p⇔¬r) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔¬p)∧¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬r)→¬q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q⇔(¬r→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(r→q)→p p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→p)∧q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∧(¬r⇔¬q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔p)∨r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(p∧q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨¬r)∨q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨q)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r→p)⇔¬q
385). 386). 387).
388). 389). 390).
391). 392). 393).
394). 395). 396).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨(¬r→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(¬r∨¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(r∨¬p)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→(¬r∨q) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨(¬q∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r→(¬p→¬q)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∨r)⇔¬q p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔(r→¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧(¬p∧¬r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p∧q)⇔¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q⇔¬p)∧¬r p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬p∨¬q)→¬r
397). 398). 399).
400).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q∨(¬r→p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r∧(q∧¬p) p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬q∧¬p)→r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(¬r⇔¬q)∨p
HOJA DE RESPUESTAS
Tablas de Verdad
Complete las tablas de verdad de las siguientes proposiciones:
1).
2).
3).
4).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q⇔p
F
F
V
V
V
V
F
F
¬r∧(¬q⇔p)
F
F
F
V
F
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q⇔¬r
F
V
V
F
F
V
V
F
p∨(q⇔¬r)
V
V
V
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬r→p
V
V
V
V
V
F
V
F
q⇔(¬r→p)
V
V
F
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬p∧q
F
F
F
F
V
V
F
F
¬r∨(¬p∧q)
F
V
F
V
V
V
F
V
5).
6).
7).
8).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p⇔¬r
F
V
F
V
V
F
V
F
q∨(p⇔¬r)
V
V
F
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔q
V
F
F
V
V
F
F
V
p∨(r⇔q)
V
V
V
V
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
FV
F
V
¬q
F
F
V
V
F
F
V
V
¬r∨p
V
V
V
V
F
V
F
V
(¬r∨p)∧¬q
F
F
V
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p∨r
V
V
V
V
V
F
V
F
¬q→(p∨r)
V
V
V
V
V
V
V
F
9).
10).
11).
12).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→q
V
V
F
F
V
V
V
V
(p→q)⇔r
V
F
F
V
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q⇔p
F
F
V
V
V
V
F
F
¬r⇔(¬q⇔p)
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧p
F
F
V
V
F
F
F
F
r⇔(¬q∧p)
F
V
V
F
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
r∨¬p
V
F
V
F
V
V
V
V
¬q⇔(r∨¬p)
F
V
V
F
F
F
V
V
13).
14).
15).
16).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬p→¬r
V
V
V
V
F
V
F
V
¬q∧(¬p→¬r)
F
F
V
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∨r
V
F
V
F
V
V
V
V
q⇔(¬p∨r)
V
F
F
V
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∨r
V
F
V
V
V
F
V
V
p∧(¬q∨r)
V
F
V
V
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
r∨q
V
V
V
F
V
V
V
F
(r∨q)∧¬p
F
F
F
F
V
V
V
F
17).
18).
19).
20).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧p
V
V
F
F
F
F
F
F
r→(q∧p)
V
V
F
V
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
q∨¬p
V
V
F
F
V
V
V
V
r→(q∨¬p)
V
V
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
r→¬p
F
V
F
V
V
V
V
V
q⇔(r→¬p)
F
V
V
F
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→p
V
V
V
V
F
F
V
V
(q→p)→r
V
F
V
F
V
V
V
F
21).
22).
23).
24).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p∨q
V
V
V
V
V
V
F
F
¬r→(p∨q)
V
V
V
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
r⇔¬q
F
V
V
F
F
V
V
F
(r⇔¬q)⇔p
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧r
F
F
V
F
F
F
V
F
p→(¬q∧r)
F
F
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p∧q
V
V
F
F
F
F
F
F
¬r⇔(p∧q)
F
V
V
F
V
F
V
F
25).
26).
27).
28).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q→p
V
V
V
V
V
V
F
F
¬r∧(¬q→p)
F
V
F
V
F
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∨r
V
F
V
V
V
F
V
V
(¬q∨r)⇔¬p
F
V
F
F
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q→¬r
V
V
F
V
V
V
F
V
¬p⇔(¬q→¬r)
F
F
V
F
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬q→r
V
V
V
F
V
V
V
F
¬p∨(¬q→r)
V
V
V
F
V
V
V
V
29).
30).
31).
32).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
r→¬q
F
V
V
V
F
V
V
V
(r→¬q)∧p
F
V
V
V
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬r∨p
V
V
V
V
F
V
F
V
q⇔(¬r∨p)
V
V
F
F
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧r
V
F
F
F
V
F
F
F
p∨(q∧r)
V
V
V
V
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∧p
F
F
V
V
F
F
F
F
(¬q∧p)∧¬r
F
F
F
V
F
F
F
F
33).
34).
35).
36).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p⇔r
V
F
V
F
F
V
F
V
¬q→(p⇔r)
V
V
V
F
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
r∧¬p
F
F
F
F
V
F
V
F
¬q∨(r∧¬p)
F
F
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔q
V
F
F
V
V
F
F
V
(r⇔q)∧p
V
F
F
V
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q⇔¬r
F
V
V
F
F
V
V
F
p∨(q⇔¬r)
V
V
V
V
F
V
V
F
37).
38).
39).
40).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔p
V
V
F
F
F
F
V
V
r∨(q⇔p)
V
V
V
F
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∧r
F
F
F
F
V
F
V
F
q∨(¬p∧r)
V
V
F
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q∧¬r
F
V
F
F
F
V
F
F
(q∧¬r)→p
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬r→q
V
V
V
F
V
V
V
F
p∧(¬r→q)
V
V
V
F
F
F
F
F
41).
42).
43).
44).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
q⇔r
V
F
F
V
V
F
F
V
¬p∨(q⇔r)
V
F
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∧r
F
F
V
F
F
F
V
F
(¬q∧r)⇔¬p
V
V
F
V
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p∨q
V
V
V
V
V
V
F
F
(p∨q)∨¬r
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q→¬r
V
V
F
V
V
V
F
V
¬p∨(¬q→¬r)
V
V
F
V
V
V
V
V
45).
46).
47).
48).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∨¬r
F
V
V
V
F
V
V
V
¬p∧(¬q∨¬r)
F
F
F
F
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
r⇔q
V
F
F
V
V
F
F
V
(r⇔q)⇔¬p
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∨q
V
V
F
F
V
V
V
V
(¬p∨q)∨r
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q⇔¬p
V
V
F
F
F
F
V
V
(¬q⇔¬p)→¬r
F
V
V
V
V
V
F
V
49).
50).
51).
52).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q⇔¬r
F
V
V
F
F
V
V
F
(q⇔¬r)∨¬p
F
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
Fq
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
r⇔¬p
F
V
F
V
V
F
V
F
¬q∧(r⇔¬p)
F
F
F
V
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∧r
F
F
F
F
V
F
V
F
(¬p∧r)→q
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→p
V
V
V
V
F
F
V
V
(q→p)∧r
V
F
V
F
F
F
V
F
53).
54).
55).
56).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬p→¬q
V
V
V
V
F
F
V
V
(¬p→¬q)∧¬r
F
V
F
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q→r
V
V
V
F
V
V
V
F
p∧(¬q→r)
V
V
V
F
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p∨¬r
V
V
V
V
F
V
F
V
¬q→(p∨¬r)
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p→¬q
F
F
V
V
V
V
V
V
(p→¬q)⇔r
F
V
V
F
V
F
V
F
57).
58).
59).
60).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∧q
F
F
F
F
V
V
F
F
r∨(¬p∧q)
V
F
V
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p∨r
V
V
V
V
V
F
V
F
¬q⇔(p∨r)
F
F
V
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q⇔p
V
V
F
F
F
F
V
V
(q⇔p)⇔¬r
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧r
V
F
F
F
V
F
F
F
(q∧r)∨p
V
V
V
V
V
F
F
F
61).
62).
63).
64).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q⇔¬p
F
F
V
V
V
V
F
F
¬r∧(q⇔¬p)
F
F
F
V
F
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→p
V
V
V
V
F
V
F
V
(r→p)∨q
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∧¬r
F
F
F
V
F
F
F
V
p→(¬q∧¬r)
F
F
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
r∨p
V
V
V
V
V
F
V
F
(r∨p)∧¬q
F
F
V
V
F
F
V
F
65).
66).
67).
68).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q⇔p
V
V
F
F
F
F
V
V
(q⇔p)∨¬r
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
r∨¬q
V
F
V
V
V
F
V
V
¬p→(r∨¬q)
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔r
V
F
V
F
F
V
F
V
q⇔(p⇔r)
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧p
V
V
F
F
F
F
F
F
r⇔(q∧p)
V
F
F
V
F
V
F
V
69).
70).
71).
72).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q→¬p
V
V
F
F
V
V
V
V
(¬q→¬p)∧r
V
F
F
F
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→r
V
F
V
F
V
V
V
V
(p→r)∨q
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q→¬r
F
V
V
V
F
V
V
V
(q→¬r)⇔¬p
V
F
F
F
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨p
V
V
V
V
V
V
F
F
r→(q∨p)
V
V
V
V
V
V
F
V
73).
74).
75).
76).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
q∧r
V
F
F
F
V
F
F
F
(q∧r)→¬p
F
V
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p⇔r
F
V
F
V
V
F
V
F
q∨(¬p⇔r)
V
V
F
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q∧¬p
F
F
F
F
F
F
V
V
(¬q∧¬p)→¬r
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∧¬p
F
F
F
F
F
F
V
V
(¬q∧¬p)⇔r
F
V
F
V
F
V
V
F
77).
78).
79).
80).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p∨r
V
V
V
V
V
F
V
F
(p∨r)→q
V
V
F
F
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p⇔¬q
F
F
V
V
V
V
F
F
(p⇔¬q)→¬r
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q→r
V
V
V
F
V
V
V
F
p∧(¬q→r)
V
V
V
F
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r→q
V
V
V
F
V
V
V
F
(¬r→q)→¬p
F
F
F
V
V
V
V
V
81).
82).
83).
84).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q⇔p
F
F
V
V
V
V
F
F
¬r→(¬q⇔p)
V
F
V
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨r
V
V
V
F
V
V
V
F
(q∨r)→p
V
V
V
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∧p
F
F
V
V
F
F
F
F
(¬q∧p)⇔¬r
V
F
F
V
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q⇔¬r
F
V
V
F
F
V
V
F
(q⇔¬r)∧¬p
F
F
F
F
F
V
V
F
85).
86).
87).
88).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔r
V
F
F
V
V
F
F
V
(q⇔r)⇔p
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬p⇔q
F
F
V
V
V
V
F
F
(¬p⇔q)→¬r
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨p
V
V
V
V
V
V
F
F
(q∨p)⇔r
V
F
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q→p
V
V
V
V
V
V
F
F
(¬q→p)→r
V
F
V
F
V
F
V
V
89).
90).
91).
92).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p→q
V
V
F
F
V
V
V
V
r→(p→q)
V
V
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨r
V
V
V
F
V
V
V
F
p∨(q∨r)
V
V
V
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p∧¬q
F
F
F
F
F
F
V
V
(¬p∧¬q)∨r
V
F
V
F
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p∧¬q
F
F
V
V
F
F
F
F
(p∧¬q)→¬r
V
V
F
V
V
V
V
V
93).
94).
95).
96).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r∨¬p
F
V
F
V
VV
V
V
(¬r∨¬p)⇔q
F
V
V
F
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬q∧r
F
F
V
F
F
F
V
F
¬p∧(¬q∧r)
F
F
F
F
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q→p
V
V
V
V
V
V
F
F
(¬q→p)→¬r
F
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∧¬r
F
F
F
V
F
F
F
V
¬p∧(¬q∧¬r)
F
F
F
F
F
F
F
V
97).
98).
99).
100).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨r
V
V
V
F
V
V
V
F
(q∨r)→p
V
V
V
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p⇔¬q
F
F
V
V
V
V
F
F
(p⇔¬q)→r
V
V
V
F
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r→¬q
V
F
V
V
V
F
V
V
(¬r→¬q)⇔p
V
F
V
V
F
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q→¬r
F
V
V
V
F
V
V
V
(q→¬r)→¬p
V
F
F
F
V
V
V
V
101).
102).
103).
104).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨p
V
V
V
V
V
V
F
F
r⇔(q∨p)
V
F
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r∨¬q
F
V
V
V
F
V
V
V
(¬r∨¬q)∧¬p
F
F
F
F
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r→¬q
V
F
V
V
V
F
V
V
(¬r→¬q)∨¬p
V
F
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q∨p
V
V
V
V
V
V
F
F
¬r→(q∨p)
V
V
V
V
V
V
V
F
105).
106).
107).
108).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p∨¬r
V
V
V
V
F
V
F
V
(p∨¬r)→q
V
V
F
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p⇔¬r
V
F
V
F
F
V
F
V
(¬p⇔¬r)→¬q
F
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∧¬p
F
F
F
F
F
F
V
V
r∧(¬q∧¬p)
F
F
F
F
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
r∨¬p
V
F
V
F
V
V
V
V
¬q⇔(r∨¬p)
F
V
V
F
F
F
V
V
109).
110).
111).
112).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬r⇔p
F
V
F
V
V
F
V
F
¬q∨(¬r⇔p)
F
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧r
F
F
V
F
F
F
V
F
(¬q∧r)∧p
F
F
V
F
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q⇔r
F
V
V
F
F
V
V
F
(¬q⇔r)⇔¬p
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧p
F
F
V
V
F
F
F
F
(¬q∧p)⇔r
F
V
V
F
F
V
F
V
113).
114).
115).
116).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r→p
V
V
V
V
V
F
V
F
(¬r→p)→¬q
F
F
V
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
r∧¬q
F
F
V
F
F
F
V
F
(r∧¬q)∧p
F
F
V
F
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p→¬r
V
V
V
V
F
V
F
V
(¬p→¬r)⇔¬q
F
F
V
V
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q⇔¬r
F
V
V
F
F
V
V
F
p→(q⇔¬r)
F
V
V
F
V
V
V
V
117).
118).
119).
120).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
q∧r
V
F
F
F
V
F
F
F
(q∧r)∧¬p
F
F
F
F
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r⇔q
F
V
V
F
F
V
V
F
(¬r⇔q)→¬p
V
F
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r→¬q
V
F
V
V
V
F
V
V
(¬r→¬q)∨p
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p→¬q
V
V
V
V
F
F
V
V
¬r→(¬p→¬q)
V
V
V
V
V
F
V
V
121).
122).
123).
124).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p∨r
V
F
V
F
V
V
V
V
(¬p∨r)⇔¬q
F
V
V
F
F
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p∧¬r
F
V
F
V
F
F
F
F
¬q∨(p∧¬r)
F
V
V
V
F
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q∧p
F
F
V
V
F
F
F
F
¬r∧(¬q∧p)
F
F
F
V
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q⇔¬r
V
F
F
V
V
F
F
V
(¬q⇔¬r)→p
V
V
V
V
F
V
V
F
125).
126).
127).
128).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬r∧p
F
V
F
V
F
F
F
F
q∨(¬r∧p)
V
V
F
V
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬p∨q
V
V
F
F
V
V
V
V
¬r→(¬p∨q)
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r∧¬q
F
F
F
V
F
F
F
V
(¬r∧¬q)→¬p
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬p∨q
V
V
F
F
V
V
V
V
(¬p∨q)∨¬r
V
V
F
V
V
V
V
V
129).
130).
131).
132).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p→r
V
F
V
F
V
V
V
V
¬q→(p→r)
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q→¬p
V
V
F
F
V
V
V
V
¬r→(¬q→¬p)
V
V
V
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p⇔q
V
V
F
F
F
F
V
V
¬r∨(p⇔q)
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r∨¬p
F
V
F
V
V
V
V
V
¬q⇔(¬r∨¬p)
V
F
F
V
F
F
V
V
133).
134).
135).
136).p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q→r
V
V
V
F
V
V
V
F
(¬q→r)∧¬p
F
F
F
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r→¬p
V
F
V
F
V
V
V
V
q⇔(¬r→¬p)
V
F
F
V
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p∨r
V
V
V
V
V
F
V
F
(p∨r)∨¬q
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q∧p
V
V
F
F
F
F
F
F
¬r∨(q∧p)
V
V
F
V
F
V
F
V
137).
138).
139).
140).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∨r
V
F
V
V
V
F
V
V
(¬q∨r)∨¬p
V
F
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r⇔¬p
V
F
V
F
F
V
F
V
q⇔(¬r⇔¬p)
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q⇔¬p
V
V
F
F
F
F
V
V
¬r⇔(¬q⇔¬p)
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q⇔¬p
V
V
F
F
F
F
V
V
(¬q⇔¬p)⇔r
V
F
F
V
F
V
V
F
141).
142).
143).
144).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬p→r
V
V
V
V
V
F
V
F
¬q∨(¬p→r)
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p∧¬q
F
F
V
V
F
F
F
F
(p∧¬q)∧¬r
F
F
F
V
F
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r∧¬q
F
F
F
V
F
F
F
V
(¬r∧¬q)∨p
V
V
V
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∨r
V
V
V
F
V
V
V
F
(q∨r)∨p
V
V
V
V
V
V
V
F
145).
146).
147).
148).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
p∧¬r
F
V
F
V
F
F
F
F
(p∧¬r)⇔q
F
V
V
F
F
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∨¬p
F
F
V
V
V
V
V
V
r→(¬q∨¬p)
F
V
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p∨¬q
F
F
V
V
V
V
V
V
r∧(¬p∨¬q)
F
F
V
F
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔p
V
F
V
F
F
V
F
V
q→(r⇔p)
V
F
V
V
F
V
V
V
149).
150).
151).
152).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q→p
V
V
V
V
V
V
F
F
(¬q→p)∧r
V
F
V
F
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q⇔¬p
V
V
F
F
F
F
V
V
¬r⇔(¬q⇔¬p)
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p⇔q
F
F
V
V
V
V
F
F
(¬p⇔q)∨r
V
F
V
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q∧¬r
F
V
F
F
F
V
F
F
(q∧¬r)→p
V
V
V
V
V
F
V
V
153).
154).
155).
156).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p→q
V
V
V
V
V
V
F
F
(¬p→q)∧r
V
F
V
F
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p∧¬q
F
F
V
V
F
F
F
F
(p∧¬q)∨r
V
F
V
V
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r→p
V
V
V
V
V
F
V
F
(¬r→p)∨¬q
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q⇔¬r
V
F
F
V
V
F
F
V
(¬q⇔¬r)∧¬p
F
F
F
F
V
F
F
V
157).
158).
159).
160).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p⇔¬q
V
V
F
F
F
F
V
V
¬r∧(¬p⇔¬q)
F
V
F
F
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p∨¬q
F
F
V
V
V
V
V
V
r∨(¬p∨¬q)
V
F
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r→q
V
V
V
F
V
V
V
F
(¬r→q)→¬p
F
F
F
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→q
V
V
F
V
V
V
F
V
p∨(r→q)
V
V
V
V
V
V
F
V
161).
162).
163).
164).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
r∨¬p
V
F
V
F
V
V
V
V
q∧(r∨¬p)
V
F
F
F
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r∧¬q
F
F
F
V
F
F
F
V
(¬r∧¬q)⇔¬p
V
V
V
F
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q→¬p
F
F
V
V
V
V
V
V
¬r∧(q→¬p)
F
F
F
V
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬p⇔q
F
F
V
V
V
V
F
F
(¬p⇔q)⇔¬r
V
F
F
V
F
V
V
F
165).
166).
167).
168).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬q∧r
F
F
V
F
F
F
V
F
¬p→(¬q∧r)
V
V
V
V
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q⇔p
F
F
V
V
V
V
F
F
(¬q⇔p)⇔¬r
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬p→¬q
V
V
V
V
F
F
V
V
(¬p→¬q)∧¬r
F
V
F
V
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∧q
F
F
F
F
V
V
F
F
(¬p∧q)∨r
V
F
V
F
V
V
V
F
169).
170).
171).
172).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔q
V
V
F
F
F
F
V
V
r→(p⇔q)
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q∧p
V
V
F
F
F
F
F
F
r⇔(q∧p)
V
F
F
V
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r∧¬q
F
F
F
V
F
F
F
V
(¬r∧¬q)∧¬p
F
F
F
F
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧p
F
F
V
V
F
F
F
F
r→(¬q∧p)
F
V
V
V
F
V
F
V
173).
174).
175).
176).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
VF
V
F
V
F
p∧r
V
F
V
F
F
F
F
F
q∨(p∧r)
V
V
V
F
V
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r⇔¬q
V
F
F
V
V
F
F
V
p⇔(¬r⇔¬q)
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r∨p
V
V
V
V
V
F
V
F
(r∨p)∧q
V
V
F
F
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬p→¬q
V
V
V
V
F
F
V
V
(¬p→¬q)→¬r
F
V
F
V
V
V
F
V
177).
178).
179).
180).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p⇔r
F
V
F
V
V
F
V
F
(¬p⇔r)∨¬q
F
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
p∨¬q
V
V
V
V
F
F
V
V
(p∨¬q)→r
V
F
V
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬p⇔r
F
V
F
V
V
F
V
F
¬q→(¬p⇔r)
V
V
F
V
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
r→p
V
V
V
V
F
V
F
V
(r→p)∧¬q
F
F
V
V
F
F
F
V
181).
182).
183).
184).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p∧r
F
F
F
F
V
F
V
F
(¬p∧r)→¬q
V
V
V
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q∨¬p
F
F
V
V
V
V
V
V
(¬q∨¬p)→¬r
V
V
F
V
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∨¬r
F
V
V
V
F
V
V
V
p⇔(¬q∨¬r)
F
V
V
V
V
F
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p→¬r
V
V
V
V
F
V
F
V
(¬p→¬r)⇔¬q
F
F
V
V
V
F
F
V
185).
186).
187).
188).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
r⇔¬p
F
V
F
V
V
F
V
F
(r⇔¬p)⇔q
F
V
V
F
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬q∧¬p
F
F
F
F
F
F
V
V
r∧(¬q∧¬p)
F
F
F
F
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
q⇔¬p
F
F
V
V
V
V
F
F
(q⇔¬p)⇔¬r
V
F
F
V
F
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬p⇔q
F
F
V
V
V
V
F
F
(¬p⇔q)⇔¬r
V
F
F
V
F
V
V
F
189).
190).
191).
192).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q→r
V
V
V
F
V
V
V
F
p⇔(¬q→r)
V
V
V
F
F
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬q∧p
F
F
V
V
F
F
F
F
(¬q∧p)⇔r
F
V
V
F
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r∧q
F
V
F
F
F
V
F
F
(¬r∧q)∨¬p
F
V
F
F
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬p⇔¬q
V
V
F
F
F
F
V
V
¬r⇔(¬p⇔¬q)
F
V
V
F
V
F
F
V
193).
194).
195).
196).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
p⇔¬r
F
V
F
V
V
F
V
F
¬q∨(p⇔¬r)
F
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬r→¬q
V
F
V
V
V
F
V
V
¬p∨(¬r→¬q)
V
F
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬r⇔¬p
V
F
V
F
F
V
F
V
q→(¬r⇔¬p)
V
F
V
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r→¬p
V
F
V
F
V
V
V
V
(¬r→¬p)∨¬q
V
F
V
V
V
V
V
V
197).
198).
199).
200).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r⇔p
V
F
V
F
F
V
F
V
(r⇔p)∧q
V
F
F
F
F
V
F
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
q∨¬p
V
V
F
F
V
V
V
V
¬r⇔(q∨¬p)
F
V
V
F
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
¬r∨¬p
F
V
F
V
V
V
V
V
(¬r∨¬p)→¬q
V
F
V
V
F
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p∨q
V
V
F
F
V
V
V
V
(¬p∨q)⇔r
V
F
F
V
V
F
V
F
201).
202).
203).
204).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬p∧r
F
F
F
F
V
F
V
F
¬q→(¬p∧r)
V
V
F
F
V
V
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬q→p
V
V
V
V
V
V
F
F
¬r∨(¬q→p)
V
V
V
V
V
V
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p⇔q
V
V
F
F
F
F
V
V
r→(p⇔q)
V
V
F
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬p→r
V
V
V
V
V
F
V
F
q⇔(¬p→r)
V
V
F
F
V
F
F
V
205).
206).
207).
208).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
r→q
V
V
F
V
V
V
F
V
p⇔(r→q)
V
V
F
V
F
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q∨¬p
F
F
V
V
V
V
V
V
(¬q∨¬p)∨¬r
F
V
V
V
V
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q→r
V
F
V
V
V
F
V
V
(q→r)∨p
V
V
V
V
V
F
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬q
F
F
V
V
F
F
V
V
r→¬q
F
V
V
V
F
V
V
V
¬p∧(r→¬q)
F
F
F
F
F
V
V
V
209).
210).
211).
212).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q⇔r
V
F
F
V
V
F
F
V
(q⇔r)∨p
V
V
V
V
V
F
F
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬q
F
F
V
V
F
F
V
V
¬r
F
V
F
V
F
V
F
V
¬q∨¬r
F
V
V
V
F
V
V
V
(¬q∨¬r)∨p
V
V
V
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V
V
¬r
F
V
F
V
F
V
F
V
¬q
F
F
V
V
F
F
V
V
¬p∧¬r
F
F
F
F
F
V
F
V
(¬p∧¬r)∨¬q
F
F
V
V
F
V
V
V
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬r
F
V
F
V
F
V
F
V
q∨¬r
V
V
F
V
V
V
F
V
p⇔(q∨¬r)
V
V
F
V
F
F
V
F
213).
214).
215).
216).
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
¬p
F
F
F
F
V
V
V