Data, Logic, and Computing: Winter 2024

Generating a truth table

This page contains a simple tool for building the truth table associated with a composite proposition.

Enter your composite proposition below, using this table to define the logical operations. Your can choose the names of the variables you prefer, except v (for OR), T (tautology, always true), and F (contradiction, always false) that are reserved symbols.

Connectivity name:	Normal representation	Use
Negation (NOT)	¬ or ˜	! or ˜
Conjunction (AND)	∧	∧ or & or &&
Disjunction (OR)	∨	v or ∥ or ∥∥
Exclusive disjunction (XOR)	⊕	+ or !∥
Conditional	→	->
Biconditional	↔	<->

Loosely adapted from:

Keith Schwarz truth table generator
Michael Rieppel truth table generator

I thank them for putting their code online!!!