Truth

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