• ScreamingFirehawk@feddit.uk
    link
    fedilink
    arrow-up
    10
    ·
    edit-2
    4 days ago

    The Nor and Nand text is swapped around

    I was wrong, my review comment is that your expressions could do with some parentheses for clarity

    • Catt@programming.dev
      link
      fedilink
      arrow-up
      12
      ·
      edit-2
      4 days ago

      Nope, the text is correct.

      not (x or y) <=> (not x) and (not y)
      not (x and y) <=> (not x) or (not y)
      

      Edit: The parenthesis on the right side if the equivalence are only there to make it easier to read. Without those, the expression would be the same in this case

    • anton
      link
      fedilink
      English
      arrow-up
      8
      ·
      4 days ago

      It’s correct, as the negation applies to the output. As that is difficult to describe in the English language, they applied De Morgan’s law first.