1.

Tentukan apakah ekspresi-ekspresi berikut ini termasuk Tautologi, Kontradiksi, dan

Contingen:
a. (( A B ) ^ ( B C )) (A C)
b. (( A B) (( A ^ B ) v (~ A ^ ~ B ))

Buktikan dengan tabel kebenaran

JAWAB

a. (( A B ) ^ (B C)) (A C)

1 2 1 3 1 2 1 4 1 3 1
1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 0 0 1 1 0 0
1 0 0 0 0 1 1 1 1 1 1
1 0 0 0 0 1 0 1 1 0 0
0 1 1 1 1 1 1 1 0 1 1
0 1 1 0 1 0 0 1 0 1 0
0 1 0 1 0 1 1 1 0 1 1
0 1 0 1 0 1 0 1 0 1 0

Hasil = 1111 1111

Jadi, ekspresi diatas bernilai Tautologi

b. (( A B) ((A ^ B ) v ( ~ A ^ ~ B ))

1 5 1 6 1 3 1 4 2 1 3 2 1
1 1 1 1 1 1 1 1 0 1 0 0 1
1 0 0 1 1 0 0 0 0 1 0 1 0
0 0 1 1 0 0 1 0 1 0 0 0 1
0 1 0 1 0 0 0 1 1 0 1 1 0

Hasil 1111
Jadi, ekspresi diatas bernilai Tautologi
2. Buatlah ekspresi logika dari pernyataan : Jika Badu senang maka Siti senang dan jika Badu

sedih maka Siti sedih. Siti tidak senang atau siti tidak sedih. Dengan demikian Badu tidak

senang atau Badu tidak sedih.

Tentukan apakah pernyataan tersebut termasuk tautologi, kontradiksi, atau contingent.

Buktikan dengan tabel kebenaran.

JAWAB

A : Badu senang

B : Siti senang

C : Badu sedih

D : Siti sedih

(( A B) ^(C D)) ^ (~ B v ~ D ) (~ A v ~ C)

1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1
1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1
1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0
1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0
1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1
1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1
1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0
1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0
0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1
0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1
0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0
0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0
0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1
0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1
0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0
0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0