Add truth table generation