• wvstolzing@lemmy.ml
    ·
    1 year 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