Soal Latihan Logika Informatika

Soal Latihan :

1. Tentukan nilai kebenaran dari kalimat2 berikut:

 a.p(a,x) and p(x,f(x))

 b.(for some y)[p(y,a) or p(f(y),y)]

           Jika dilakukan interpretasi I dengan domain bilangan bulat positip:

           aß 0,xß1,fß fungsi suksesor, pß relasi kurang dari

           Lakukan juga interpretasi J sesuai keinginan anda dan tentukan nilai kebenarannya

2. Tentukan validitas kalimat berikut. Pakailah argumentasi tak formal

    (for some x)[if p(x) then r(x) iff [if (for all x)p(x) then (for some x)r(x)

3. Gambarkan gerbang logic dan buat tabel kebenaran untuk fungsi berikut:

    a. (A+B’+C)(A’B’+C)(A+B’C’)

    b. ABC+ABC’+A’B

4. Tentukan komplemen dari: a. AB’+A’B     b.(V’W+X)Y+Z’