NTU-AI-HW3/test_cases/q1/correctSentence2.solution
2024-04-22 22:34:33 +08:00

4 lines
230 B
Plaintext

# This is the solution file for test_cases/q1/correctSentence2.test.
# The result of evaluating the test must equal the below when cast to a string.
result: "((C <=> (B | D)) & (A >> (~B & ~D)) & (~(B & ~C) >> A) & (~D >> C))"