Deterministic boolean algebra engine — evaluates expressions, detects contradictions, au…