evaluate (not A) nand (not B)