Let's say I have the following logical circuit:
How can I create a simplified version (assuming that one exists) without laboriously creating a truth table for it? I was thinking of perhaps writing the boolean expression as a sum of minterms to then create a Karnaugh map, but the expression that I get is unwieldy. Is there a better way?