Buktikan bahwa ekspresi – ekspresi logika berikut ini ekuivalen dengan menggunakan tabel kebenaran.
a) 
b) 
c) 
d) 
e) 
Penyelesaian
a)
A
|
B
| ||||||
T
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
F
|
T
|
T
|
T
|
Dari tabel diatas dapat disimpulkan bahwa
tidak ekuivalen dengan 
b) Pernyataan
tidak dapat dibuktikan apakah
ekuivalen dengan 1, karena 1 merupakan nilai mutlak dan bukan simbol dari sebuah pernyataan.
c)
A
|
B
|
C
| ||||||
T
|
T
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
T
|
T
|
F
|
F
|
F
|
Dari tabel diatas dapat disimpulkan bahwa
berekuivalen dengan 
d)
A
|
B
|
C
| ||||
T
|
T
|
T
|
T
|
T
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
T
|
F
|
Dari tabel diatas dapat disimpulkan bahwa
tidak berekuivalen dengan 
e)
A
|
B
| ||||
T
|
T
|
F
|
T
|
F
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
Dari tabel diatas dapat disimpulkan bahwa
berekuivalen dengan 
#UMMI
#LOGIKAINFORMATIKA
#HMIFUMMI
#UNIVERSITASUNGGUL
#SUKABUMI
Tidak ada komentar:
Posting Komentar