Edited toNor and toNand syntax
toNand and toNor now converts Implies and Iff