Professional Documents
Culture Documents
Matdis
Matdis
[ p q ] ~ p
~ p [pq]
p q
p q ~p
B B S B S
B S S S B
S B B S B
S S B S B
2. ~ [ p q ] V ~ p
~ p ~[pq ~[pq]V~
p q
p q ] p
B B S B S S
B S S S B B
S B B S B B
S S B S B B
3. [~ p V ~q ] r
~ ~ [~p V~q]r
p q r [~p V~q]
p q
B B B S S S S
B B S S S S S
B S B S B B B
B S S S B B S
S B B B S B B
S B S B S B S
S S B B B B B
S S S B B B S
4. p [p ( q V r) ]
5. p [(p q) r ]
p q r pq (p q) r p [(p q) r ]
B B B B B B
B B S B S S
B S B S S S
B S S S S S
S B B B B S
S B S B S B
S S B B B S
S S S B S B
6. [ (p q) ( ~q V r )] ( p r )
9.