Как называются эти законы алгебры-логики?

  • x == !!x
  • ДеМоргана (двойственности)
  • двойного отрицания
  • х && y == !(!x || !y)

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.