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

  • x && ( x || y ) == x
  • x && ( y && z ) == x && y && z
  • x || ( y || z ) == x || y || z
  • Закон ассоциативности логического сложения
  • Закон ассоциативности логического умножения
  • Закон поглощения

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