# Marquand's Representation of Boolean Functions

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration shows Marquand's rectangular representation of Boolean functions of two to six arguments.

[more]
Contributed by: Izidor Hafner (September 2016)

Open content licensed under CC BY-NC-SA

## Snapshots

## Details

The first published suggestion for rectangular presentation of Boolean algebra of proposition was [1] as mentioned in [6, p. 43–44].

References

[1] A. Marquand, "On Logical Diagrams for Terms," *Philosophical Magazine Series 5*, 12(75), 1881 pp. 266–270. doi:10.1080/14786448108627104.

[2] R. Audi, ed., *The Cambridge Dictionary of Philosophy*, Cambridge: Cambridge University Press, 1995 pp. 780–782.

[3] L. Borkowski, *Elementy logiki formalnej* (*Elements of Formal Logic*, in Polish), 3rd ed., Warsaw: Wyd, 1976.

[4] L. Carroll, *Symbolic Logic and the Game of Logic*, New York: Dover, 1958.

[5] I. M. Copi and C. Cohen, *Introduction to Logic*, 9th ed., New York: Macmillan, 1994 pp. 214–218.

[6] M. Gardner, *Logic Machines, Diagrams and Boolean Algebra*, New York: Dover Publications, 1968.

## Permanent Citation

"Marquand's Representation of Boolean Functions"

http://demonstrations.wolfram.com/MarquandsRepresentationOfBooleanFunctions/

Wolfram Demonstrations Project

Published: September 21 2016