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.
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.
Copyright © 2021 Jogjafile Inc.