Skip to content

formulae-org/package-logic-js

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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$

Examples

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