• Home
• Webmozart
• Expression
• Logic

PHP Webmozart\Expression\Logic Namespace

Classes

Name	Description
AlwaysFalse	Always false (contradiction).
AlwaysTrue	Always true (tautology).
AndX	A disjunction of expressions.
Literal	A logical literal.
OrX	A disjunction of expressions.