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.
Variables may only consist of a single word character; a-z or A-Z, excluding 'i' and 'I'.
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)
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
(A*B)' == A'+B'
(A+B)' == A'*B'
Copyright © 2011 Wronex.com. All rights reserved.