Represents a parsed logical expression. May be backed by different implementations.
Evaluate this formula using a condition determiner using three-valued logic.