truth table for (not A OR B) AND (not C) and D