{"_meta": {"battery": "5t", "sub_battery": "truthtables", "version": "v1", "task_count": 30, "notes": "Deterministic propositional eval over N=2..4 variables. Expected values generated by the same evaluator the runner uses to ensure self-consistency."}}
{"id": "5t-tt-001", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "A AND B", "rows": [{"inputs": {"A": false, "B": false}, "expected": false}, {"inputs": {"A": false, "B": true}, "expected": false}, {"inputs": {"A": true, "B": false}, "expected": false}, {"inputs": {"A": true, "B": true}, "expected": true}]}
{"id": "5t-tt-002", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "A OR B", "rows": [{"inputs": {"A": false, "B": false}, "expected": false}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": true}, {"inputs": {"A": true, "B": true}, "expected": true}]}
{"id": "5t-tt-003", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "NOT A", "rows": [{"inputs": {"A": false, "B": false}, "expected": true}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": false}, {"inputs": {"A": true, "B": true}, "expected": false}]}
{"id": "5t-tt-004", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "A XOR B", "rows": [{"inputs": {"A": false, "B": false}, "expected": false}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": true}, {"inputs": {"A": true, "B": true}, "expected": false}]}
{"id": "5t-tt-005", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "A IMPL B", "rows": [{"inputs": {"A": false, "B": false}, "expected": true}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": false}, {"inputs": {"A": true, "B": true}, "expected": true}]}
{"id": "5t-tt-006", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "A IFF B", "rows": [{"inputs": {"A": false, "B": false}, "expected": true}, {"inputs": {"A": false, "B": true}, "expected": false}, {"inputs": {"A": true, "B": false}, "expected": false}, {"inputs": {"A": true, "B": true}, "expected": true}]}
{"id": "5t-tt-007", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "NOT (A AND B)", "rows": [{"inputs": {"A": false, "B": false}, "expected": true}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": true}, {"inputs": {"A": true, "B": true}, "expected": false}]}
{"id": "5t-tt-008", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B"], "expression": "NOT A OR NOT B", "rows": [{"inputs": {"A": false, "B": false}, "expected": true}, {"inputs": {"A": false, "B": true}, "expected": true}, {"inputs": {"A": true, "B": false}, "expected": true}, {"inputs": {"A": true, "B": true}, "expected": false}]}
{"id": "5t-tt-009", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "A AND B AND C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-010", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "A OR B OR C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-011", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "(A AND B) OR C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-012", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "A AND (B OR C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-013", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "NOT (A OR B OR C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": false}]}
{"id": "5t-tt-014", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "(A IMPL B) AND (B IMPL C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-015", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "(A XOR B) OR C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-016", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "A IFF (B AND C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-017", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "(A AND NOT B) OR C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-018", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "NOT A AND NOT B AND NOT C", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true}, "expected": false}]}
{"id": "5t-tt-019", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "A OR (B AND NOT C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-020", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C"], "expression": "(A OR B) AND (B OR C)", "rows": [{"inputs": {"A": false, "B": false, "C": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true}, "expected": true}]}
{"id": "5t-tt-021", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "A AND B AND C AND D", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-022", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "A OR B OR C OR D", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-023", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "(A AND B) OR (C AND D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-024", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "(A IMPL B) AND (C IMPL D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-025", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "NOT (A AND B AND C AND D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": false}]}
{"id": "5t-tt-026", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "A IFF (B OR C OR D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-027", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "(A XOR B) AND (C XOR D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": false}]}
{"id": "5t-tt-028", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "(A AND B) IMPL (C OR D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
{"id": "5t-tt-029", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "NOT A AND (B OR C) AND D", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": false}]}
{"id": "5t-tt-030", "battery": "5t", "sub_battery": "truthtables", "version": "v1", "carrier": "claim_lattice", "domain": "propositional_logic", "pi_star_ref": "pi_truth_table_v1", "variables": ["A", "B", "C", "D"], "expression": "(A OR B) IFF (C OR D)", "rows": [{"inputs": {"A": false, "B": false, "C": false, "D": false}, "expected": true}, {"inputs": {"A": false, "B": false, "C": false, "D": true}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": false}, "expected": false}, {"inputs": {"A": false, "B": false, "C": true, "D": true}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": false, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": false, "B": true, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": false, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": false, "C": true, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": false, "D": false}, "expected": false}, {"inputs": {"A": true, "B": true, "C": false, "D": true}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": false}, "expected": true}, {"inputs": {"A": true, "B": true, "C": true, "D": true}, "expected": true}]}
