Nama : Robert Mahendra Setiawan

NRP : 171111120

Tugas 4

1. Tentukan apakah ekspresi-ekspresi logika berikut termasuk tautologi, kontradiksi, atau contingen

a. p ->( q->p) (tautologi)

p q
T T
T F
F T
F F
b. (q->p)->p (Contingen)
q -> p p ->(q->p)
T T
T T
F T
T T

p q q -> p p (q->p)->p
T T T T T
T F T T T
F T F F T
F F T F F
c. (~p->~q)->(q->p) (Tautologi)

p q ~p ~q (~p->~q) (q -> p) (~p-> q) -> (q->^ p)

T T F F T T T
T F F T T T T
F T T F F F T
F F T T T T T

2. Tentukan apakah ekspresi-ekspresi logika berikut termasuk ekivalensi

a. ~(p->q) ≡ p ^ q (Ekivalensi)

p q p->q ~(p->q) p^q

T T T F T
T F T F F
F T F T F
F F T F F

b. ~(p<->q) ≡ (~p ^ q) v (p ^ ~q) (Tidak termasuk)

p q p<->q ~(p<->q) ~p ~q (~p ^ q) (~p ^ q) (~p ^ q)v(~p ^ q)

T T T F F F F F F
T F F T F T F T T
F T F T T F T F T
F F T F T T F F T

c. ~p->q ≡ p v q (Ekivalensi)

p q ~p ~p->q pvq
T T F T T
T F F T T
F T T T T
F F T F F