nand gate subgroup of gate, 2 assertions