7 lines
41 B
Plaintext
7 lines
41 B
Plaintext
|
B + !C => A
|
||
|
|
||
|
=BC
|
||
|
?A
|
||
|
|
||
|
# A should be false
|