package-logic-js

Logic package for Fōrmulæ — the visual environment for computing, composing, and conversing with tree-structured expressions.

This repository contains the source code for the logic package. It is intended to the computation of logical operations.

Part of the formulae-org organization: the web application plus one repository per package.

▶ Showcase — worked examples of this package.

Capabilities

• Visualization of the truth values true and false
• Visualization of logic operations. Users can choose between:

Operation	Traditional notation	Mnemonic notation
Negation	$\neg P$	$\text{NOT } P$
Conjunction	$P \land Q$	$P \text{ AND } Q$
Disjunction	$P \lor Q$	$P \text{ OR } Q$
Conditional	$P \to Q$	$P \text{ IF } Q$
Equivalence	$P \leftrightarrow Q$	$P \text{ IFF } Q$
Exclusive disjunction	$P \oplus Q$	$P \text{ XOR } Q$

• Visualization of predicate expressions
  • Nullary or 0-arity predicates, visualized as its own name, e.g. $P$
  • First order logic predicates, with a given number of terms, visualized as $P(t_1, t_2, ..., t_n)$
• Visualization of universal quantifier, shown as $\forall$
• Visualization of existential quantifier, shown as $\exists$
• Reduction of the logic operations negation, conjunction, disjunction, conditional, equivalence and exclusive disjunction
• Conversion from/to numeric values (true ⇔ 1, false ⇔ 0)

Examples

The following Fōrmulæ scripts use expressions from the logic package:

• Truth table