• wvstolzing@lemmy.ml
        ·
        8 months ago

        NAND and XOR aren't equivalent, though

        | X | Y | X NAND Y |
        | 0 | 0 | 1        |
        | 1 | 0 | 1        |
        | 0 | 1 | 1        |
        | 1 | 1 | 0        |
        
        | X | Y | X XOR Y |
        | 0 | 0 | 0       |
        | 1 | 0 | 1       |
        | 0 | 1 | 1       |
        | 1 | 1 | 0       |
        

        & XOR can be reduced to NAND; not sure if NAND can be reduced to XOR