3 variables truth table