The following truth table is the definition of a logical operator commonly called NAND, which we will write with the f symbol. For each of the following statements, calculate the value of the statement with a truth table, and identify whether the statement is a tautology, a contradiction, or neither. 1. (AB)A. 2(AB)(A,) 3. (AB)(A+B) 4. (AC)+(BC)