Question

Как правильно назвать равносильность (А∨В)≡(А∨В)∧(¬А∨¬В)? Ну то есть правило/закон чего-то Помогите, пожалуйста:)

Answer 1

Ответ:

Это закон замены эквивалентности. Можно построить таблицу истинности  для доказательства формулы.

Объяснение:

Answer 2

Название этой равносильности можно интерпретировать как "закон дистрибутивности дизъюнкции относительно конъюнкции". Это потому, что данная равносильность связывает операции дизъюнкции (A∨B) и конъюнкции ((A∨B)∧(¬A∨¬B)), и она подтверждает, что дистрибутивное правило действует в данном контексте. В этом случае, операция дизъюнкции (A∨B) "распространяется" на операции конъюнкции (¬A∨¬B) и становится равносильной им.