import {
  getBooleanAlgebra
} from "./chunk-ZI34HWXZ.mjs";
import {
  __export
} from "./chunk-QK4PKNB3.mjs";

// src/BooleanAlgebra.ts
var BooleanAlgebra_exports = {};
__export(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 = getBooleanAlgebra;

export {
  reverse,
  booleanAlgebraVoid,
  getDualBooleanAlgebra,
  booleanAlgebraBoolean,
  getFunctionBooleanAlgebra,
  BooleanAlgebra_exports
};
