NIM : 2109116032
2
1 5
11 6 3
15 7 4
18 12
13
20
2. ~ [ p^q ] V ~ p
3. [ ~p V ~q ] ^ r
Tentukan tautology kontradiksi atau satisfy
1. p q ~p p ^q [ p ^q] ~ p
T T F T T
T T F T T
T F F F T
T F F F T
F T T F F
F T T F F
F F T F F
F F T F F
2. p q ~p ~q p ^q ~ [ p^q ] V ~ p
T T F F F F
T T F F F F
T F F T F F
T F F T F F
F T T F F T
F T T F F T
F F T T T T
F F T T T T
Tabel kebenaran ini termasuk statisfy karna terdapat campuran antara benar dan salah
3. p q r ~p ~q ~p V ~q [ ~p V ~q ] ^ r
T T T F F F F
T T F F F F F
T F T F T T F
T F F F T T F
F T T T F F F
F T F T F F F
F F T T T T T
F F F T T T T
Tabel kebenaran ketiga termasuk ke dalam kontradiksi karna banyak salah dan benarnya hanya
sedikit