UNPKG

fregejs

Version:

A propositional logic library written in Typescript

github.com/etec-sa

etec-sa/frege

20 lines (18 loc) • 431 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
import { PropositionalVariable } from '../operations/propositional-variable'; import { Negation } from '../operations/unary-operation'; import { Conjunction, Disjunction, Implication, Biconditional, } from '../operations/binary-operations'; /** * Represents a generic logical formula. */ export type Formula = | PropositionalVariable | Negation | Conjunction | Disjunction | Implication | Biconditional;