Four bit adder: Difference between revisions
Content added Content deleted
m (deleting excess spaces) |
|||
Line 720:
bnot = (1-)</lang>
Gates built with basic ones:
<lang
nand = (bnot.).band
xor a b = uncurry nand. (nand a &&& nand b) $ nand a b</lang>
|