Need guidance towards evaluative boolean logic tree

Question

I can\'t seem to find a pointer in the right direction, I am not even sure what the terms are that I should be researching but countless hours of googling seem to be spinning me

Answer 1

You might want to Google for terms such as 'predicate calculus' and 'conjunctive normal form'.