Rifandi Usdan F - 2305101086 - 3D - Tugas 1
Rifandi Usdan F - 2305101086 - 3D - Tugas 1
Rifandi Usdan F - 2305101086 - 3D - Tugas 1
2. ¬( p ˄ q )
p q ¬p p˄q ¬( p ˄ q )
T T F T F
T F F F T
F T T F T
F F T F T
3. (p ˄ q) ˅¬( p ˅ q )
p q p˄q p˅q ¬( p ˅ q ) (p ˄ q) ˅¬( p ˅ q )
T T T T F T
T F F T F F
F T F T F F
F F F F T T
4. p ˄ (q ˄ r)
p q r q˄r p ˄ (q ˄ r)
T T T T T
T T F F F
T F T F F
T F F F F
F T T T T
F T F F F
F F T F F
F F F F F
5. ¬p ˄ (q ˅ ¬r)
p q r ¬p ¬r q ˅ ¬r ¬p ˄ (q ˅ ¬r)
T T T F F T F
T T F F T T F
T F T F F F F
T F F F T T F
F T T T F T T
F T F T T T T
F F T T F F F
F F F T T T T
6. p ˅ (¬p ˅ q)˄¬( q ˄ ¬r)
7. ¬p ˅ q → ¬q
p q ¬p ¬q ¬p ˅ q ¬p ˅ q → ¬q
T T F F T F
T F F T F T
F T T F T T
F F T T T T
8. p ˄ ¬r ↔ q ˅ r
p q r ¬r p ˄ ¬r q˅r p ˄ ¬r ↔ q ˅ r
T T T F F T F
T T F T T T T
T F T F F T F
T F F T T F F
F T T F F T F
F T F T F T F
F F T F F T F
F F F T F F T
9. p ˅ (¬p ˄ q) → q
p q ¬p ¬p ˄ q p ˅ ( ¬p ˄ q) p ˅ (¬p ˄ q) → q
T T F F T T
T F F F T T
F T T T T T
F F T F F T
10. (¬p ˄ (¬q ˄ r) ˅ (q ˄ r) ˅ (p ˄ r )
a. p˅q
b. ¬p ˄ ¬r
c. p ˄ ¬r
d. (q ˄ r) ˄ s ¬p