formulae-org / package-logic-js

Logic package for Fōrmulæ, in JavaScript

package-logic-js

Complex arithmetic package for the Fōrmulæ programming language.

Fōrmulæ is also a software framework for visualization, edition and manipulation of complex expressions, from many fields. The code for an specific field —i.e. arithmetics— is encapsulated in a single unit called a Fōrmulæ package.

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

The GitHub organization formulae-org encompasses the source code for the rest of packages, as well as the web application.

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