SOAL UJIAN AKHIR SEMESTER TA 2012/2013 JURUSAN S1 TEKNIK INFORMATIKA STMIK AMIKOM YOGYAKARTA MATA UJIAN #AKTU &OSEN

SIFAT TANGGAL : LOGIKA INFORMATIKA (12S1TI09 s. . 1!" : $% MENIT : &RS. JANOE HEN&ARTO MKOM. : O'EN (OOKS : % JANUARI 2013

1. ). Jika diketahui predikat K(x,y) = x adalah kuadrat dari y {contoh: 9 adalah kuadrat dari 3} dan se esta pe !icaraannya adalah !ilan"an asli (x, y adalah !ilan"an asli) aka ter#e ahkan kali at !erikut ke dala !ahasa $ndonesia sehari%hari dan ke udian tentukan nilai ke!enarannya : x(y K(x,y)) &ot(x(y K(x,y))) y(x K(x,y)) x(y K(x,y)) &ot(x(y K(x,y))) y(x K(x,y))

*. 'ide(inisikan : ) *(x) = x !er*saha+ '(x) = x !er'o,a + -(x) = x -ukses , dan se esta pe !icaraannya adalah anusia. ) /re is : x (*(x) -(x)) (-e ua yan" !erusaha pasti sukses) dan not(x(not '(x) and -(x))) (tidak ada oran" yan" tidak !erdo,a tapi sukses). ) 0uktikan !ah1a : not(x (not '(x) and *(x))) (tidak ada oran" yan" tidak !erdo,a tapi !erusaha) 2. ). 0uktikan !ah1a a2aa3!2a(!2a!) = a dan a!3c32a3!c32ac2a!c32a3!3c3= c32a *. 4entukan !entuk kanonik -5/ dan /5- dari f(x, y, z) = z+xy+yz 3. -ederhanakan se ini al un"kin (un"si !oolean !erikut, ke udian !erdasar hasil penyederhanaan "a !arkan ran"kaian lo"ikanya : ). f(x, y, z) = (x+y)z + (x z)y + xy *. f(w, x, y, z)=wxyz+wxyz+wxyz+wxyz+wxyz+ wxyz+wxyz+wxyz