Logika Informatika

1. Diketahui suatu ekspresi :

(for some x) {if (for all x)(for all y) p(a,f(x),y) then q(f(a),f(b)) else r(a,b,x,y)}
a. perlihatkan bahwa ekspresi diatas merupakan kalimat (sentence) dalam logika predikat.
b. Tentukan interperetation yang memberikan nilai true pada kalimat diatas.
Penyelesaian
a . Ekspresi diatas adalah suatu ekspresi dalam logika predikat karena melibatkan simbol-
simbol logika predikat. Untuk menentukan apakah suatu pernyataan adalah sebuah sentence,
maka harus dibuktikan bahwa seluruh bagian pembentuk pernyataan tersebut adalah
sentence. Kita akan menguraikan bagian bagian dari pernyataan diatas :
a dan b adalah konstan, menurut definisi a dan b adalah terms.
X dan y adalah variabel, menurut definisi x dan y adalah terms.
F adalah fungsi. Dalam hal ini karena a,b,x adalah terms, maka f(a), f(b) dan f(x) adalah
term.
Karena a, f(x) dan y adalah terms, maka p(a,f(x),y) adalah proposisi.
Karena f(a) dan f(b) adalah terms, maka q(f(a),f(b)) adalah proposisi.
Karena a,b,x,y adalah terms, maka r(a,b,x,y) adalah proposisi.
Berdasarkan definisi yang menyatakan bahwa setiap proposisi adalah sentence maka
p(a,f(x),y), q(f(a),f(b)) dan r(a,b,x,y) adalah sentence.
Berdasarkan definisi jika x adalah sebuah variabel dan F adalah sebuah sentence maka (for
all x) F dan (for some x) F adalah sentence maka pernyataan (for all x)(for all y) p(a,f(x),y)
adalah sentence.
Berdasarkan definisi : jika F, G dan H merupakan sentence maka kondionalnya yaitu (if F
then G else H) merupakan sentence maka if (for all x)(for all y) p(a,f(x),y) then q(f(a),f(b))
else r(a,b,x,y) juga merupakan sentence.
Sehingga karena if (for all x)(for all y) p(a,f(x),y) then q(f(a),f(b)) else r(a,b,x,y) sentence
maka (for some x) {if (for all x)(for all y) p(a,f(x),y) then q(f(a),f(b)) else r(a,b,x,y)}
berdasarkan definisi juga adalah sentence.
b. misalkan I adalah interpretasi dengan domain bilangan bulat.
a=1
b=2
y=3
I : f  f I : f I d1=d1
p  p I : p I d1 , d2 , d3=true
q  q I : q I d1 , d2=true
r  r I : r I  d1 , d2 , d3 , d4= false
2. Dengan terlebih dahulu menentukan tabel kebenaran (truth table) dari fungsi (XY+Z)(Y+XZ),
selanjutnya nyatakan fungsi dalam bentuk sum-of-minterms.
 Penyelesaian
Tabel kebenaran dari fungsi E = (XY+Z)(Y+XZ)
X Y Z XY XY+Z XZ Y+XZ (XY+Z)(Y+XZ)
0 0 0 0 0 0 0 0
0 0 1 0 1 0 0 0
0 1 0 0 0 0 1 0
0 1 1 0 1 0 1 1
1 0 0 0 0 0 0 0
1 0 1 0 1 1 1 1
1 1 0 1 1 0 1 1
1 1 1 1 1 1 1 1
E  X , Y , Z = m 3,5,6,7
2. Dengan K-map, sederhanakan fungsi Boolean F(W,X,Y,Z) = ∏ M(1,3,5,6,7,9,10,11,14) dalam
bentuk product-of-sums.
Penyelesaian

1 0 0 1
1 0 0 0
X
1 1 1 0
W
1 0 0 0

Z
Terlihat bahwa terdapat 3 prime implicant essential dari F' yaitu W'Z, WX'Z dan XYZ'. dan
sebuah prime implicant non-essential, yaitu : WX'Y atau WYZ'
Sehingga F' dapat ditulis sebagai berikut : F' = W'Z+WX'Z+XYZ'+WX'Y
dengan mengambil dualnya dan mengkomplementnya diperoleh
dual of F' = (W'+Z)(W+X'+Z)(X+Y+Z')(W+X'+Y)
F = (W+Z')(W'+X+Z')(X'+Y'+Z)(W'+X+Y')

3. Rancang suatu fungsi boolean dengan spesifikasi sebagai berikut :

a) Output fungsi berbentuk (7 + input) mod 6
b) Input berupa angka-angka oktal (oktal digits), yaitu 0,1,2,3,4,5,6 dan 7.
Penyelesaian
Jika A,B,C mewakili nilai input dan X,Y,Z mewakili nilai output, masalah diatas dapat ditampilkan
sebagai berikut:

A B C X Y Z
0 0 0 0 0 1
0 0 1 0 1 0
0 1 0 0 1 1
0 1 1 1 0 0
1 0 0 1 0 1
1 0 1 0 0 0
1 1 0 0 0 1
1 1 1 0 1 1

Dalam bentuk sum of minterm nilai x dapat dinyatakan sebagai berikut X =F  A , B ,C = m 3,4 ,
Y =F  A , B ,C = m 1,2,7 dan Z =F  A , B ,C = 0,2,4,6,7 .

X =F  A , B ,C = m 3,4 = A'BC+AB'C'

Y =F  A , B ,C = m 1,2,7 = (A'B'C+A'BC'+ABC)

Z =F  A , B ,C = 0,2,4,6,7 dapat disederhanakan menjadi C'+AB

A'BC
X
A'
A
AB'C'

B' A'B'C
B
Y

A'BC'

ABC
C
C'

AB
Z