Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

formulae-org/package-logic-js

Folders and files

NameName
Last commit message
Last commit date

Latest commit

History

28 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:

AltStyle によって変換されたページ (->オリジナル) /