Expand description
Expression simplification and normalization
This module provides logical expression simplification to optimize expressions before compilation. It applies standard logical equivalences and normalization rules.
Functionsยง
- simplify_
expression - Simplify a logical expression using standard equivalences