data structure for truth table