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