Truth Tables

logic operator

∧

⊼

∨

⊻



negation

apply

drop

number of variables

shuffle operators	on
	off
allow resizing

P	Q	P∧Q
T	T	T
T	F	F
F	T	F
F	F	F

In propositional calculus and Boolean algebra, a truth table is a two-dimensional array with

n+1

columns used to show the truth value of a logical expression made up of

n

propositions P, Q, … (sentences with a True or False value). The first

n

columns correspond to the possible values of the inputs and the last column to the truth value for the given expression. This Demonstration produces truth tables for the logical operators And, Nand, Or, Xor, Implies and Not acting on expressions with two to seven propositions, each of which may be True or False. A shuffle option returns an expression with alternated logical operators of length

n

.