(a nand b) nand a