• 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