You are on page 1of 2

1.

[ p  q ]  ~ p

~ p [pq]
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 ~[pq ~[pq]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) ]

p q r qVr p^(qVr) p [p  ( q V r)]


B B B B B B
B B S B B B
B S B B B B
B S S S S S
S B B B S B
S B S B S B
S S B B S B
S S S S S B

5. p  [(p  q)  r ]
p q r pq (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 )

7. Tunjukkan bahwa (p q) ekivalen dengan ~p V q

8. Tunjukkan bahwa p V (p ^ q)  p dan p ^ (p V q)  p

9.

You might also like