Logikai ismeretreprezentáció Példák
Logikai műveletek igazságtáblája ABA’A * BA + B A BA B
Egyszerű szabályok A és B D D vagy C Z ténybázis: A, B
Feltéltel: formula ((C A’) + (B * C’)) (A + C) Z A B ’B C Ténybázis: A = 1
C * A * B’ + C + A Z ABCB’C * A * B’C * A * B’ + CFORMULA
Teljesül Z? R1 ((A + B’) *C) + (A’ * D) E R2 (E * F) + A ’ G R3 (H’ + B) * C F R4 G * H Z Ténybázis: T={A=0, B=1, C=0, D=1, H=1 }
Négyértékű logika ÉS01duVAGY01duNEM du01 101du d0ddudd1dudd u0uuuuu1uuuu