resolution operator logical resolution resolution resolution rule resolution rule resolution predicate resolution resolution English resolution resolution resolution rule resolution Resolution Method Resolution search resolution resolution resolution rule English resolution rule https://en.wikipedia.org/wiki/Resolution_(logic) Resolution (logic) Resolution Resolution (logic) Resolution resolution RESOLUTION PRINCIPLE https://en.wikipedia.org/wiki/Resolution_(logic) resolution Resolution Method the resolution technique in Boolean logic resolution operator