Nama : Ivander Josh Santoso

NIM : 21090069

Kelas : 1D

LOGIKA INFORMATIKA

2. Jika (A V -A) adalah Tautologi, Buktikan bahwa ekspresi logika berikut ini adalah tautologi

 (A B)V –(AB)

A B (A B) –(AB) (A B)V –(AB)
T T T F T
T F F T T
F T T F T
F F T F T

 –AVA
A –A –AVA
T F T
T F T
F T T
F T T

 ((A^C)V B) V –((A^C)V B)

A B C (A^C) ((A^C)V B) –((A^C)V B) ((A^C)V B) V –((A^C)V B)

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