"use strict";Object.defineProperty(exports, "__esModule", {value: true});

var _chunkSQA7G4TEjs = require('./chunk-SQA7G4TE.js');


var _chunk6C3VEZWHjs = require('./chunk-6C3VEZWH.js');

// src/BooleanAlgebra.ts
var BooleanAlgebra_exports = {};
_chunk6C3VEZWHjs.__export.call(void 0, BooleanAlgebra_exports, {
  booleanAlgebraBoolean: () => booleanAlgebraBoolean,
  booleanAlgebraVoid: () => booleanAlgebraVoid,
  getDualBooleanAlgebra: () => getDualBooleanAlgebra,
  getFunctionBooleanAlgebra: () => getFunctionBooleanAlgebra,
  reverse: () => reverse
});
var reverse = (B) => ({
  meet: (x, y) => B.join(x, y),
  join: (x, y) => B.meet(x, y),
  zero: B.one,
  one: B.zero,
  implies: (x, y) => B.join(B.not(x), y),
  not: B.not
});
var booleanAlgebraVoid = {
  meet: () => void 0,
  join: () => void 0,
  zero: void 0,
  one: void 0,
  implies: () => void 0,
  not: () => void 0
};
var getDualBooleanAlgebra = reverse;
var booleanAlgebraBoolean = {
  meet: (x, y) => x && y,
  join: (x, y) => x || y,
  zero: false,
  one: true,
  implies: (x, y) => !x || y,
  not: (x) => !x
};
var getFunctionBooleanAlgebra = _chunkSQA7G4TEjs.getBooleanAlgebra;








exports.reverse = reverse; exports.booleanAlgebraVoid = booleanAlgebraVoid; exports.getDualBooleanAlgebra = getDualBooleanAlgebra; exports.booleanAlgebraBoolean = booleanAlgebraBoolean; exports.getFunctionBooleanAlgebra = getFunctionBooleanAlgebra; exports.BooleanAlgebra_exports = BooleanAlgebra_exports;
