Hogyan kell kiszámolni egy összetett ítélet igazságértékét? Konkrét feladat lennt

ugyanúgy, mint ahogy a hagyományos műveletekkel csinálod, zárójeleket lekezded kifelé bontani.

(A or B)=1, hiszen az A=1

(C or not B)=1, hiszen C=1

not(C or not B)=0, hiszen az előző tagadása

(A or B) and not(C or not B) behelyettesítve a ()-k helyére a már tudott értéket = 1 és 0 = 0.

(A or B) and not(C or not B) xor C = 0 xor 1 =1.