Pembahasan KSN-K Informatika 2020 No. 16

Soal 16

Perhatikan operasi logika berikut?

((A or not C) and (A and D or A and not D) or A and not C or not C) and (not E and (E or  not B) or (not B or E and E) and(E or B))

Agar pernyataan di atas bernilai true maka nilai A, B, C, D, E harus:

a. A = True, B = True, C = True, D = True, E = False.

b. A = True, B = False, C = False, D = False, E = True.

c. A = True, B = True, C = False, D = True, E = False.

d. A = False, B = True, C = True, D = False, E = False.

e. Jawaban a, b, c, dan d salah

Jawab :

Agar pernyataan tersebut bernilai true, maka ((A or not C) and (A and D or A and not D) or A and not C or not C) haruslah bernilai true dan (not E and (E or  not B) or (not B or E and E) and(E or B)) juga harus bernilai true.

((A or not C) and (A and D or A and not D) or A and not C or not C) → A = True, not C = True, D = False.

Uji : (T˅T)˄(T˄F˅T˄T)˅T˄T˅T) = (T˄T˅T˄T˅T) = True

(not E and (E or not B) or (not B or E and E) and(E or B)) → Not E = False, Not B = True

Uji : (F˄(T˅T)˅(T˅T˄T)˄(T˅F) = (F˄T˅T˄T) = (F˅T) = True

Jadi,

A = True, not C = True, D = False dan Not E = False, Not B = True

A = True, B = False, C = False, D = False, E =  True (B)