Предупреждаю сразу, у меня с информатикой очень плохо! И было бы неплохо, если вы напишите на листке :D
1. Записать составное высказывание "(2*2=4 и 3*3=9) или (2*2 не равно 4 и 3*3 не равно 9" в логическом выражении, построить таблицу истинности.
2. Доказать, используя таблицу истинности, что логическое выражение A v B (над буквами вектора) и A & B - равносильны.
Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Оцени ответ
Подпишись на наш канал в телеграм. Там мы даём ещё больше полезной информации для школьников!
