UNIVERSITAS AMIKOM YOGYAKARTA

FAKULTAS ILMU KOMPUTER

Jl. Ring Road Utara, Ngringin, Condongcatur, Kec. Depok, Kabupaten Sleman
Daerah Istimewa Yogyakarta 55281
Email : amikom@amikom.ac.id / Website : https://amikom.ac.id/
Telp : (0274) 884201-207/ Fax : (0274) 884208

UJIAN REMIDI
Nama : Taufikurrahman
Nim : 22.21.1554
Program Studi : S1 - Informatika
Matakuliah : Logika Informatika
Dosen pengampu :  Muhammad Tofa Nurcholis, M.Kom 

Note: *) Pilih Salah Satu

Petunjuk
1. Soal dikerjakan secara berurutan, tidak boleh dikerjakan secara acak.

Soal Ujian (disesuaikan dengan sifat ujian)

1. (point 20) - CPMK19, SCPMK 0811909
Diberikan kalimat logika:
If (if q then not p) then (not q and p) else not ((p or s) if and only if ( if r then q))

Maka tentukan truth value-nya, jika;

a. Interpretasi p, q, r, dan s true
b. Interpretasi p, q, r, dan s false
c. Interpretasi p dan q true, r dan s false

2. (point 20) - CPMK19, SCPMK 0811909

Dengan menggunakan truth table, tentukan truth value dari kalimat logika berikut:
(p and (if r then s)) if and only if ((not r or s) and p)

3. (point 20) – CPMK20, SCPMK 0811910

Buktikan identitas persamaan Boolean berikut, menggunakan manipulasi aljabar :
a. A’B + B’C’ + AB + B’C = 1
b. Y + X’Z + XY’ = X + Y + Z

4. (point 20) – CPMK20, SCPMK 0811913

Sederhanakan fungsi-fungsi Boolean berikut menggunakan K-Map:
a. F(X,Y,Z) = m (0,1,2,4,6)
b. X’Z’ + XZ + X’YZ

5. (point 20) – CPMK20, SCPMK 0811912

Diketahui fungsi boolean, F = ABCD + A’B’CD + ABC’D + AB’C’D + A’B’C’D + A’B’C’D’
a. Sajikan ke dalam bentuk daftar Minterm
b. Gambarlah rangkaian digital dari fungsi boolean tersebut
 **JAWAB **

1. Diberikan kalimat logika:

If (if q then not p) then (not q and p) else not ((p or s) if and only if ( if r then q))

not ((p
if (if q
(p or s) or s) if
then
if q if and and
if r not p)
p q r s then p or s only if only if
then q then
not p (if r (if r
(not q
then q) then
and p)
q))
T T T T F T T F T F
T T T F F T T F T F
T T F T F T T F T F
T T F F F T T F T F
T F T T T F T T F T
T F T F T F T T F T
T F F T T F T T F T
T F F F T F F F T F
F T T T T T T T F T
F T T F T T F F T F
F T F T T F T F T F
F T F F T F F T F T
F F T T T T T F T F
F F T F T T F T F T
F F F T T F T F T F
F F F T T F T F T F

(a) Ketika interpretasi p, q, r, dan s bernilai true, maka:

if q then not p adalah false, karena q true dan not p false.

if r then q adalah true, karena r true dan q true.
p or s adalah true, karena p dan s keduanya true.
(p or s) if and only if (if r then q) adalah true, karena keduanya true.
not ((p or s) if and only if (if r then q)) adalah false, karena hasil sebelumnya true.

(b) Ketika interpretasi p, q, r, dan s bernilai false, maka:

if q then not p adalah true, karena q false dan not p true.

if r then q adalah true, karena r false dan q false.
p or s adalah false, karena keduanya false.
(p or s) if and only if (if r then q) adalah true, karena keduanya false.
not ((p or s) if and only if (if r then q)) adalah false, karena hasil sebelumnya true.

(c) Ketika interpretasi p dan q bernilai true, dan r dan s bernilai false, maka:

if q then not p adalah false, karena q true dan not p false.

if r then q adalah false, karena r false.
p or s adalah true, karena p true.
(p or s) if and only if (if r then q) adalah true, karena keduanya false.
not ((p or s) if and only if (if r then q)) adalah false, karena hasil sebelumnya true.
if (if q then not p) then (not q and p) adalah true, karena keduanya false.

2. Dengan menggunakan truth table, tentukan truth value dari kalimat logika berikut:
(p and (if r then s)) if and only if ((not r or s) and p)

p q r (if r (not r (p and ((not r (p and (if r then

then s) or s) (if r or s) s)) if and only if
then s)) and p) ((not r or s) and
 p)
T T T T T T T T
T T F T T T T T
T F T F F F F T
T F F F T F T F
F T T T T F F T
F T F T T F F T
F F T F T F F T
F F F T T F F T

Dari tabel kebenaran di atas, kita dapat melihat bahwa kalimat logika tersebut benar (true)
untuk semua nilai kebenaran p, q, dan r. Oleh karena itu, kalimat logika tersebut adalah
tautologi.

3. Buktikan identitas persamaan Boolean berikut, menggunakan manipulasi aljabar :

a. A'B + B'C' + AB + B'C

= A'B + AB + B'C' + B'C // Mengelompokkan suku yang sama

= A'B(1+C) + B'C'(1+C) // Faktorisasi

= A'B + B'C' // Karena (1+C) = 1 untuk nilai Boolean apa pun C

= (A'+B')(B'+C') // Hukum distributif

= (B'+C')(A'+B') // Hukum komutatif

= 1 // Hukum penyatuan

Oleh karena itu, persamaan Boolean tersebut benar.

b. Y + X'Z + XY'

= Y(1+X'+X) + X'Z // Mengelompokkan suku yang sama dan menggunakan hukum

penyatuan

= Y(1+1) + X'Z // Karena (X'+X) = 1

= Y + X'Z // Karena (1+1) = 1

= X + Y + Z // Menggunakan hukum penyatuan

Oleh karena itu, persamaan Boolean tersebut benar.

4. Sederhanakan fungsi-fungsi Boolean berikut menggunakan K-Map:

A.F(X,Y,Z) = m (0,1,2,4,6)
B.X’Z’ + XZ + X’YZ

A. F(X,Y,Z) = ∑m (0,1,2,4,6)

K-Map untuk fungsi F(X,Y,Z) dapat digambarkan sebagai berikut:

Z=0 Z=1
Y Y
X 00 01 11 10
------------------
0| 1 1 0 1
1| 1 0 1 0

persamaan Boolean sederhana untuk fungsi F(X,Y,Z) adalah:

F(X,Y,Z) = (Y' + X)(Y + Z)
B. X’Z’ + XZ + X’YZ

K-Map untuk fungsi X’Z’ + XZ + X’YZ dapat digambarkan sebagai berikut:

Z=0 Z=1
Y Y
X 00 01 11 10
------------------
0| 1 0 1 0
1| 0 1 1 1

persamaan Boolean sederhana untuk fungsi X’Z’ + XZ + X’YZ adalah:

X'Z' + XZ + X'YZ = X' + YZ

a. Sajikan ke dalam bentuk daftar Minterm

Minterm Input A Input B Input C Input D

m0 0 0 0 1
m1 0 0 1 1
m2 0 1 0 1
m3 0 1 1 0
m4 1 0 0 1
m5 1 0 1 0
m6 1 1 0 0
m7 1 1 1 0

Gambarlah rangkaian digital dari fungsi boolean tersebut

(NOT a OR NOT b OR NOT c OR NOT d OR f) AND (NOT a OR b OR NOT c OR NOT f) AND
(NOT a OR d OR NOT f) AND (a OR NOT b OR NOT f) AND (NOT c OR d OR NOT f)