Boolean evaluation using JavaScript

This is a boolean expression evaluation tool. Enter an expression below and watch as it is binary evaluated and converted into disjunctive normal form.

WARNING: CPU INTENSIVE! IT WILL CRASH INTERNET EXPLORER 8. I RECOMMEND YOU SWITCH OVER TO GOOGLE CHROME IF YOU INTEND TO TRY THIS SOFTWARE.

Enter your expression

Result

NULL

Readme

Variables may only consist of a single word character; a-z or A-Z, excluding 'i' and 'I'.

Possible operators:
NOT:     '      Ex: a', a(a)', a'b
AND:     *      Ex: ab, (ab)(cd), a*b
OR:      +      Ex: a+b, a+(b)
XOR:     ^      Ex: a^b, a^(b)

Examples:
(a+b)b
(a+b)(d+c)'
x+xy
x(x+y)
a'b+ab'
xyz'w'+x'yw+xzw+xy'z @ SteelRaven7

To test De Morgan's Theroem enter the following and watch how the right most column will be filled with ones since the expression is true.
(A*B)' == A'+B'
(A+B)' == A'*B'

Copyright © 2011 Wronex.com. All rights reserved.