A NAND B