= A.1+AB
= A(1+B) :- OR (A+1 = 1)
= A.1
= A
= A(B+B’) :- AB+AC = A(B+C)
= A(B+B’) :- A + A’ =1
= A(1)
= A
= C(A’B+A) :- A+BC = (A+B).(A+C)
= C((A’+A).(A+B)) :- A’+A=1
= C(1.(A+B))
= C(A+B)
= A’B+AB(C’+C) :- A’+A=1
= A’B+AB
= B(A’+A) :- A’+A=1
= B
This post was last modified on June 12, 2020