Konstruera sanningsvärdetabeller för följande satser. Avgör huruvida satserna är logiskt sanna, logiskt falska, satisfierbara eller falsifierbara.
1. p
q
2. p
q
3. p
q
4. (
p
q)
5. (p
q)
p
6. ((p
q)
(
p
q))
7. (p q)
(p
q)
8. ((p q)
p)
q
9. (p q)
(p
r)
(p
q)
(p
r)
10. ((p
q)
q)
p