如何僅使用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