2
\$\begingroup\$

I'm trying to convert a regular Boolean equation that has multiple inputs into a NAND only equation. My guess is that I'm supposed to convert using DeMorgan's law, but I'm not entirely sure how to do that. The equation I'm trying to convert is (A&~B)|(C&D).

I've created a logic circuit that implements the regular gates and its NAND equivalent: logic circuit

I also have the diagrams on how a NAND gate is used to create difference gates, but still not quite sure how to convert it to an equation. I'm trying to create an equation I can implement in Vivado (if anyone has experience with that). Is there a Boolean symbol for NAND?

Any help and direction would be greatly appreciated. Thank you all so much.

\$\endgroup\$
1
  • \$\begingroup\$ I think I may have got the equation? I was thinking about what a NAND gate is and looked at my circuit diagram. That got me the initial equation, and then I used Boolean algebra after that to get the final simplified equation. Is it correct? \$\overline{\left ( \overline{\overline{BB} A}\right )\left ( CD\right )}= \overline{\left ( \overline{A} B \right )\left ( \overline{CD} \right )}= \overline{\overline{A}B} + \overline{\overline{CD}}=\left (A+\overline{B}\right )+\left (C+D\right )\$ \$\endgroup\$
    – GainzNerd
    Commented Jun 13, 2020 at 3:31

2 Answers 2

3
\$\begingroup\$

The commonly used boolean symbols in Digital Electronics are for AND, OR, Exclusive-OR, Exclusive-NOR and NOT operations. See Wikipedia: List of logic symbols. The NAND operator symbol is Sheffer Stroke, which is uncommon in Digital Electronics.

You can convert a Boolean equation to NAND form by replacing each gate with it's NAND equivalent, but as you have seen some gates become redundant. Hence the algebraic method is preferred as it is shorter.

Taking the double complement as we know, does not modify the equation, because \$\overline{\bar{A}} = A \$.

As you mentioned in the question, you are supposed to convert the equation to NAND form using De Morgan's laws. Applying De Morgan's law is easier when you have an expression that is complemented i.e \$\overline{(some\_ expression)}\$.

But we can't just complement the expression once as that would be modifying it, so we take the double complement of the expression. This does not modify the expression and makes it easier to apply De Morgan's law.

We need to apply De Morgan's law to the inner negation operator of the expression. The outer negation operator is applied so that the equation won't be modified. And as shown in the below example, the outer negation operator will be the NAND gate at the output when the expression it operates on is the conjunction of outputs of other NAND operations.

To convert to NAND form, the method for small problems which can be solved manually:

  1. Find the minimum sum-of-products form of the given expression.
  2. Take the Double complement
  3. Simplify it using De Morgan's laws till you get it in NAND form.

For your question, it takes 2 steps as it is already in the minimum sum-of-products form:

\$(\overline{\overline{{A}.\bar{B} + C.D}}) = \overline{\overline{A.\bar{B}}.\overline{C.D}}\$

The circuit implementation requires 4 NAND gates.

schematic

simulate this circuit – Schematic created using CircuitLab

\$\endgroup\$
2
  • \$\begingroup\$ I was able to simplify my circuit in Vivado by deleting 4 of the inverters since A'' = A. I ended up getting your same circuit. That said, I still don't understand why you double complement. Thank you for taking the time to reply and your help. \$\endgroup\$
    – GainzNerd
    Commented Jun 14, 2020 at 0:47
  • 1
    \$\begingroup\$ much clearer explanation. Thank you very much for taking your time to provide such an answer. Appreciate your support. \$\endgroup\$
    – GainzNerd
    Commented Jun 18, 2020 at 20:41
0
\$\begingroup\$

Operator for NAND is Sheffer stroke

And operator for NOR is Peirce arrow

I don't know if they could be used in Vivado, though. As for your equation - first use NAND to make OR, AND, and NOT gates, then proceed to making circuit equivalent of equation. Or simply look at Shashank's answer.

\$\endgroup\$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.