Truth Table Release Enter Stuff like: (A&B)|(C&(A|B)) ((A&B)|(C&(A|B)))|(A&D) Even this will work: ((AAnDB) not |(C&(AOrB)))|(NoTaOrD) Even takes up to 8 variables! A .. H