included truth table