Nim : 043153794
Assalamualikum bpk/ibu
P Q r -p pꓥq -p ꓥ r (p ꓥ q) v ( -p ꓥ r)
T T F F T F T
T F T F F F F
F T F T F F F
F F T T F T T
P -q p ꓥ -q
T T T
T F F
F T F
F F F
p r (p ꓥ q) (p ꓥ q) ->
q
r
T T F T F
T F T F T
F T F F F
F F T F T
No 2
No 3
7 = (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r)
kalimat diatas adalah statisfiable. Apakan anda setuju? Buktikan dan jelaskan berdasarkan Kebenaran!
q → ¬r ∧ ¬p (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨
p q r -p ¬p ∨ q ¬r ∧ ¬p p∨r
r)
T T T F T F F T F
T F F F F T T T F
F T T T F F F T F
F F F T T T T F F