Input a logical equation and press enter to determine if both sides are equivalent. Uses VHDL operators and syntax (case insensitive). Also supports aliases for common operators, such as '*' for 'and', '+' for 'or', '!' for 'not', and '^' for 'xor'. These aliases do not need spaces around them. Multiple statements can be equated on the same line to check their total equivalency.
The source code for this website is available here.
(a or b) and c = a*c+b*c
(a xor b) and c = (a and c) xor (b and c)
a xor b = a^b = !(a xnor b) = !a^!b
a or b = !a nand !b = not (!a and !b)