{"_meta":{"battery":"5s","sub_battery":"semantics","version":"v1","task_count":18,"notes":"logic-kernel@v1 equivalence-class tests. Logically equivalent expressions canonicalize to identical CNF bytes; logically distinct expressions do not."}}
{"id":"5s-sem-logic-001","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A AND B","input_b":"B AND A","expected_equivalent":true}
{"id":"5s-sem-logic-002","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A OR B","input_b":"B OR A","expected_equivalent":true}
{"id":"5s-sem-logic-003","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"(A AND B) AND C","input_b":"A AND (B AND C)","expected_equivalent":true}
{"id":"5s-sem-logic-004","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A IMPL B","input_b":"NOT A OR B","expected_equivalent":true}
{"id":"5s-sem-logic-005","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A IMPL B","input_b":"(NOT B) IMPL (NOT A)","expected_equivalent":true}
{"id":"5s-sem-logic-006","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"NOT (A AND B)","input_b":"(NOT A) OR (NOT B)","expected_equivalent":true}
{"id":"5s-sem-logic-007","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"NOT (A OR B)","input_b":"(NOT A) AND (NOT B)","expected_equivalent":true}
{"id":"5s-sem-logic-008","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"NOT NOT A","input_b":"A","expected_equivalent":true}
{"id":"5s-sem-logic-009","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A OR (B AND C)","input_b":"(A OR B) AND (A OR C)","expected_equivalent":true}
{"id":"5s-sem-logic-010","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A IFF B","input_b":"(A IMPL B) AND (B IMPL A)","expected_equivalent":true}
{"id":"5s-sem-logic-011","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A XOR B","input_b":"(A OR B) AND (NOT A OR NOT B)","expected_equivalent":true}
{"id":"5s-sem-logic-012","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A OR NOT A","input_b":"TRUE","expected_equivalent":true}
{"id":"5s-sem-logic-013","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A AND A","input_b":"A","expected_equivalent":true}
{"id":"5s-sem-logic-014","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A AND B","input_b":"A OR B","expected_equivalent":false}
{"id":"5s-sem-logic-015","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A IMPL B","input_b":"B IMPL A","expected_equivalent":false}
{"id":"5s-sem-logic-016","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"A AND B","input_b":"A AND C","expected_equivalent":false}
{"id":"5s-sem-logic-017","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"NOT A","input_b":"A","expected_equivalent":false}
{"id":"5s-sem-logic-018","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input_a":"(A IMPL B) AND (B IMPL C)","input_b":"A IMPL C","expected_equivalent":false}
