(a nand a) nand b