On Sat, Apr 21, 2012 at 7:34 AM, Steven W. Orr <ste...@syslang.net> wrote: > Then define a class called Bool that redefines things like __rlshift__ and > __rrshift__. That would get >>= and <<= for Implications and nodus tolens. > It's not a total solution. I can't see how you're going to get IFF, NAND and > NOR.
IFF is simply the equality operator (cast to boolean first if necessary). ChrisA -- http://mail.python.org/mailman/listinfo/python-list