tabla de verdad

Truth Table Generator

Evaluate an arbitrary boolean expression and generate the truth table.

"Beauty is truth, truth beauty,"—that is all      Ye know on Earth, and all ye need to know.
John Keats, Ode On A Grecian Urn, 1819

	Elements of the Boolean Expression
	variables:  a,b,c,...,z  constants:  T (or 1) or F (or 0)  unary operator:   ~   ¬ 1  not (negation)  binary operators:    & Λ 2  and (conjunction) | | 2  NAND (not and) + V 3  or (disjunction) - ↓ 3  NOR (not or) # ⊕ 3  XOR (exclusive or) > → 4  if (implication) = ↔ 5  if and only if (biconditional)  grouping:  (), [], or {} may used to group expressions to change the order of evaluation
	The shaded first column for the operators gives the keyboard entry for the operator. The third column for the operators gives the priority for the operation. Within a priority group, evaluation is left to right.

Boolean expression:  

variable order in table:

natural order

alphabetical order

constants:

T and F

1 and 0