Logic, Formal Verification, Machine Learning, AI.
include all possible allowed formulas in the syntax. “|” stands for OR. Operator precedence: Unary operators first, binary operators second. Among binary operators: \cup first, \land, \lor, \rightarrow second. Note that, although \lor, \rightarrow are not in the formulas one-liner, \lor,