truth table not A and A