<
Logic tree
Type an expression with
Logic Inputs
Binary (0, 1) or boolean (T, F)
,
Variables
Any lower-case English letter
, and
Operators
~
&
|
~&
~|
!=
=>
<=>
()
Not
And
Or
Nand
Nor
Xor
Implies
Biconditional
Parentheses
0 & 1 | 0
a != b | c
(T ~& F) != (~a | b)
0 & T
~(a & 1)
Operator Precedence
Change operator precedence
~&
~|
&
∥
⇒
≢
⇔
Note: not ~ and parentheses () have the highest precedence by default
Variables
Assign values to the variables
