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.

`NULL`

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.