Namespace Webmozart\Expression\Logic
AlwaysFalse | Always false (contradiction). |
AlwaysTrue | Always true (tautology). |
Conjunction | A disjunction of expressions. |
Disjunction | A disjunction of expressions. |
Literal | A logical literal. |
Not | Negates another expression. |