A truth table generator