UNPKG

fregejs

Version:

A propositional logic library written in Typescript

github.com/etec-sa

etec-sa/frege

43 lines (24 loc) • 671 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
# fregejs ## 0.4.0 ### Minor Changes - f2ec411: add syntax validation ## 0.3.0 ### Minor Changes - 1f80ab3: Create new util functions to build formula objects and custom paths. ## 0.2.3 hotfix: publish updated dist ## 0.2.2 ### Patch Changes - 9f9f4da: Add support for new operator symbols. & - Conjunction | - Disjunction ! - Negation ## 0.2.0 ### Minor Changes - 6ae48a1: change truth table type to an object - 3c5a79a: truth table combinations are boolean by default - d966728: add printTruthTable method - 13bb8f5: add isTautology, isContingency and isContradiction methods to Frege class. ## 0.1.0 ### Minor Changes - 8ce7587: add changeset.