Reputation: 431
I want to convert a logical expression to have only NAND gates. I know that NAND is written as ¬(A⋀B)
.
I have the following expression: (A⋁(¬B))⋀C
How to write this expression only with NAND?
Upvotes: -1
Views: 739
Reputation: 1080
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
Upvotes: 3