Add basic unwrapping for nested logical expressions

conjure-cp · Jan 29, 2024 · b760d4c · b760d4c
1 parent 4a7ff28
commit b760d4c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/conjure_oxide/src/rules/mod.rs b/conjure_oxide/src/rules/mod.rs
@@ -160,6 +160,7 @@ fn distribute_not_or(expr: &Expr) -> Result<Expr, RuleApplicationError> {
 /**
  * Distribute `not` over `and`:
  * ```text
+
  * not (a and b) = (not a) or (not b)
  * ```
 */