export { generatePropTruthTable } from "./generate-prop-truth-table";
export { generateTruthAssignments } from "./generate-truth-assignments";