An example in the book asks us to implement the XOR (exclusive-or) function using only 2-input NAND gates.
So:
f = x_1 \overline{x_2} + \overline{x_1}x_2
If we let \uparrow represent the NAND function. That means that: f = (x_1 \uparrow \overline{x_2}) \uparrow (\overline{x_1} \uparrow...
I think I am missing part of my notes, or at least I don't understand them:
if x+y = y+z and xy = xz, then x=z
x = (y+z)x Absorbtion (Don't really know where this is coming from)
x(y+z) Commutative
xy+xz Distributive
It stops here and starts again at:
yz+xz (I have...