feat(logic): implement comprehensive boolean simplification rules

- Added absorption rules for conjunction and disjunction:
  - A ∧ (A ∨ B) → A
  - A ∨ (A ∧ B) → A
- Implemented idempotence, complementation, identity, domination, and double negation simplifications.
- Updated logic-utils.ts with new functions for absorption.
- Enhanced logic.test.ts with extensive tests for all new simplification rules.

Author: arnog

CHANGELOG.md

@@ -281,6 +281,23 @@
   This uses u-substitution: since `1/x = d/dx(ln(x))`, the integral becomes
   `∫ h'(x)/h(x) dx = ln|h(x)|`.
 
+#### Logic
+
+- **Boolean Simplification Rules**: Added absorption laws and improved boolean
+  expression simplification:
+  - **Absorption**: `A ∧ (A ∨ B) → A` and `A ∨ (A ∧ B) → A`
+  - **Idempotence**: `A ∧ A → A` and `A ∨ A → A`
+  - **Complementation**: `A ∧ ¬A → False` and `A ∨ ¬A → True`
+  - **Identity**: `A ∧ True → A` and `A ∨ False → A`
+  - **Domination**: `A ∧ False → False` and `A ∨ True → True`
+  - **Double negation**: `¬¬A → A`
+
+  These rules are applied automatically during simplification:
+  ```javascript
+  ce.box(['And', 'A', ['Or', 'A', 'B']]).simplify();  // → A
+  ce.box(['Or', 'A', ['And', 'A', 'B']]).simplify();  // → A
+  ```
+
 #### Linear Algebra
 
 - **Matrix Decompositions**: Added four matrix decomposition functions for

requirements/DONE.md

@@ -435,6 +435,51 @@ ce.box(['Eigen', ['List', ['List', 4, 2], ['List', 1, 3]]]).evaluate();
 
 ---
 
+## Logic Enhancements (Completed)
+
+### L-1. Logic Simplification Rules ✅
+
+**IMPLEMENTED:** Added comprehensive boolean simplification rules:
+
+1. **Absorption** (NEW):
+   - `A ∧ (A ∨ B) → A`
+   - `A ∨ (A ∧ B) → A`
+
+2. **Idempotence** (already implemented):
+   - `A ∧ A → A`
+   - `A ∨ A → A`
+
+3. **Complementation** (already implemented):
+   - `A ∧ ¬A → False`
+   - `A ∨ ¬A → True`
+
+4. **Identity** (already implemented):
+   - `A ∧ True → A`
+   - `A ∨ False → A`
+
+5. **Domination** (already implemented):
+   - `A ∧ False → False`
+   - `A ∨ True → True`
+
+6. **Double negation** (already implemented via involution):
+   - `¬¬A → A`
+
+**Examples:**
+```typescript
+ce.box(['And', 'A', ['Or', 'A', 'B']]).simplify();  // → A
+ce.box(['Or', 'A', ['And', 'A', 'B']]).simplify();  // → A
+ce.box(['And', 'A', 'A']).simplify();              // → A
+ce.box(['And', 'A', ['Not', 'A']]).simplify();     // → False
+ce.box(['Or', 'A', ['Not', 'A']]).simplify();      // → True
+ce.box(['Not', ['Not', 'A']]).simplify();          // → A
+```
+
+**Files modified:**
+- `src/compute-engine/library/logic-utils.ts` - Added `applyAbsorptionAnd` and `applyAbsorptionOr` functions
+- `test/compute-engine/logic.test.ts` - Added "Logic Simplification Rules" describe block with 18 new tests
+
+---
+
 ## Medium Priority (Completed)
 
 ### 9. Implicit Multiplication Between `\exp` Function Calls ✅