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