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