Soal & Pembahasan Logika Penyederhanaan
Senin, 20 April 2020
Tambah Komentar
Nama : Anggi Dwi Kurniawan
NPM : 1915061021
MK : Logika
Latihan
Sederhanakan
bentuk-bentuk logika berikut ini menjadi bentuk paling sederhana :
1.
(A→B) → ((A →
~B)→~A)
2.
(~A^~(B→C))
^~(A→(B→~C)
3.
(A^ (~A v B) v B)
v (A^ (A v B))
Buktikan dua ekspresi
berikut ekuivalen dengan penyederhanaan
4.
(A^B) v(A ^ ~B) ≡ A
5.
~(~A v ~(C v D)) ≡ (A^C)v(A^D)
Pembahasan
1.
A→B) → ((A →
~B)→~A)
(~A
v B) → (~(~A v ~B) v ~A)
(~A
v B) → ((A ^ B) v ~A)
~(~A
v B) v (( A ^ B) v ~A)
(A
^ B) v ((A v B) v ~A)
2.
(~A ^ ~(B → C)) ^ ~(A → (B → ~C)
(~A
^ ~(~B v C)) ^ ~(~A v (~B v ~C)
(~A
^ B ^ ~C) ^ (A ^ B ^ C)
~A
^ A ^ B ^ ~C ^ C ^ B
=1(Tautologi)
3.
(A^ (~A v B) v B)
v (A^ (A v B))
(A
^(~A v B)v B) v (A ^(A^B))
(A
^(~A v B)v B) v ((A^A)^B)
((A
^ B)v B) v (A ^ B)
(B)
v (A ^ B)
B
4.
(A^B) v (A ^ ~B) ≡ A
A
^ (B v ~B) º
A
A
^ 1 º
A
A
º
A (ekuivalen)
5. ~ (~A v ~ (C v D) º
(A Ù
C) Ú
(A Ù
D)
A ^ (C v D) º
(A Ù
C) Ú
(A Ù
D) (ekuivalen)
Belum ada Komentar untuk "Soal & Pembahasan Logika Penyederhanaan"
Posting Komentar