add truth table example