如何编写仅具有NAND门的逻辑表达式

Question

我想将逻辑表达式转换为只有 NAND 门。我知道 NAND 写成¬(A⋀B)。

我有以下表达式：(A⋁(¬B))⋀C

如何仅使用 NAND ？

编写此表达式

Answer 1

Y = (A ⋁ (¬B)) ⋀ C
  = ¬¬{(A ⋁ (¬B)) ⋀ C}      //Double negation
  = ¬{¬(A V (¬B) V ¬C}      //De-Morgan law
  = ¬{(¬A ⋀ B) V ¬C}        //Reverse De-Morgan law
  = ¬{(¬A V ¬C) ⋀ (B V ¬C)} //Distributive law
  = ¬{¬(A ⋀ C) ⋀ ¬(¬B ⋀ C)} //Apply reverse De-Morgan law