resolving a clause. Resolved A and B yields

47 Views Asked by At

I was wondering why the following resolutions yield true and none rather than (A !D) and (A B C !D):

Resolve (A B C) & (!B !C !D) yields true Resolve (A B C) & (B C !D) yields none.

0

There are 0 best solutions below