tabla de verdad



Truth Table Generator






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)
+V3 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