How Can I Simplify This Boolean Expression Using XOR and XNOR Functions?

AI Thread Summary
The discussion focuses on simplifying a Boolean expression using XOR and XNOR functions, specifically aiming to create a logic circuit with NAND and XOR gates. The initial expression presented is complex, and the user struggles with the last two terms due to a lack of like terms. Suggestions include constructing a truth table to identify patterns that align with XOR or NAND functions. A proposed simplification leads to the expression W' (X⊕Y⊕Z)' + Y' (W⊕X⊕Z)', which utilizes XNOR gates. Overall, the conversation emphasizes the importance of truth tables and Karnaugh maps for simplification in Boolean algebra.
TheTopGun
Messages
16
Reaction score
0

Homework Statement



Hey there, I'm having trouble simplifying a boolean expression using XOR and XNOR functions.
The final goal is to draw a logic circuit for the expression using NAND and XOR gates only.

Homework Equations



Assuming
W' = Not WW' X' Y' Z' + W' X' Y Z + W' X Y' Z + W' X Y Z' + W X Y' Z' + W X' Y' Z

The Attempt at a Solution

W' X' (Y⊕Z)' + W' X (Y⊕Z) + ...

So far if I'm working correctly (?) I can simplify the first four expressions, It's just the last two that get me as they have no like terms ?

Once I understand this I should have no troubles drawing the logic circuit.

Thankyou for any responses
 
Physics news on Phys.org
you could try drawing a truth table for the terms and see if you spot a pattern that matches XOR or NAND

like X xor Y'
 
Hmm okay thanks,

I've come up with this

W' X' (Y⊕Z)' + W' X (Y⊕Z) + W Y' (X⊕Z)

Is this on the right track..before I simplify further.
 
W x y' z' + w x' y' z = w y'❲ ... ❳

wow, PF has such a nanny editor that it converted my upper case to lower!
 
TheTopGun said:
Hmm okay thanks,

I've come up with this

W' X' (Y⊕Z)' + W' X (Y⊕Z) + W Y' (X⊕Z)

Is this on the right track..before I simplify further.

That seems right. Once complete you could do a truth table on it and see if it agrees with original.
 
TheTopGun said:
Hmm okay thanks,

I've come up with this

W' X' (Y⊕Z)' + W' X (Y⊕Z) + W Y' (X⊕Z)

Is this on the right track..before I simplify further.
You can see how to simplify this further? If not, I suggest that you construct a 4 variable Truth Table. Also construct the Truth Table for your simplified expression, and with any luck there may be some correspondence.

I haven't tried it.
 
For future reference (im not sure why anyone would care lol, but anyway), the equation can be simplified down to:

W' (X⊕Y⊕Z)' + Y' (W⊕X⊕Z)' ...where (A⊕B⊕C)' represents a XNOR gate.

This was obtained using karnough maps but I am sure there are easier ways...
 

Similar threads

Back
Top