Function simplify

test/compute-engine/logic.test.ts:487–489

(expr: any)

describe('Logic Simplification Rules', () => {
  function simplify(expr: any) {
    return ce.expr(expr).simplify().toString();
  }

  describe('Absorption', () => {
    it('should simplify A ∧ (A ∨ B) → A', () => {