fregejs/src/types/formulas/binary-operation-formula.ts

A propositional logic library written in Typescript

import {
  Conjunction,
  Disjunction,
  Implication,
  Biconditional,
} from '../operations/binary-operations';

export type BinaryOperationFormula =
  | Conjunction
  | Disjunction
  | Implication
  | Biconditional;