Hacky truth table to check DNF equivalency

print ' a   b    expr  dnf '
print '--------------------'
for a in (True, False):
    for b in (True, False):
        expr = a and b or not a and b and b or a
        dnf = a or b
        print " %s   %s     %s     %s" % (int(a), int(b), int(expr), int(dnf))

## Or simply go to Wolfram Alpha :D
## http://wolframalpha.com/input/?i=a+AND+b+OR+NOT+a+AND+b+AND+b+OR+a