16一組邏輯運算單元可稱作基底（base）的條件，為其中每一種運算單元，都可以無數目限制的使用情形下，可以組合出所有可能的邏輯運算結果。下列何者是一組基底？ (A) NAND, NOR(B) AND, OR (C) Implication(→), NOT(D) XOR, biconditional(↔)