truth table a and ( b or ( c xor d ) and ( a or not b )) or ( not a and b and c ) or not b and ( c xor not d )