0

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.

user3088470
  • 603
  • 2
  • 8
  • 14

0 Answers0