20 lines
532 B
Plaintext
20 lines
532 B
Plaintext
|
@1
|
|||
|
|
|
|||
|
|
[] : " |\t|\n"
|
|||
|
|
[const_false] : "false|0"
|
|||
|
|
[const_true] : "true|1"
|
|||
|
|
[not] : "¬|-|\!|not"
|
|||
|
|
[and] : "∧|&|and"
|
|||
|
|
[or] : "∨|\||or"
|
|||
|
|
[open] : "\(|\["
|
|||
|
|
[close] : "\)|\]"
|
|||
|
|
|
|||
|
|
{constant_false} : <formula> : [const_false]
|
|||
|
|
{constant_true} : <formula> : [const_true]
|
|||
|
|
{negation} : <formula> : [not] <formula>
|
|||
|
|
{conjunction} : <formula> : <formula> [and] <formula>
|
|||
|
|
{disjunction} : <formula> : <formula> [or] <formula>
|
|||
|
|
{priorised} : <formula> : [open] <formula> [close]
|
|||
|
|
|
|||
|
|
<formula>
|