В
Все
М
Математика
А
Английский язык
Х
Химия
Э
Экономика
П
Право
И
Информатика
У
Українська мова
Қ
Қазақ тiлi
О
ОБЖ
Н
Немецкий язык
Б
Беларуская мова
У
Українська література
М
Музыка
П
Психология
А
Алгебра
Л
Литература
Б
Биология
М
МХК
О
Окружающий мир
О
Обществознание
И
История
Г
Геометрия
Ф
Французский язык
Ф
Физика
Д
Другие предметы
Р
Русский язык
Г
География
MMMOZG
MMMOZG
15.04.2020 09:17 •  Информатика

Сразу, у меня с информатикой плохо! и было бы неплохо, если вы напишите на листке : d 1. записать составное высказывание "(2*2=4 и 3*3=9) или (2*2 не равно 4 и 3*3 не равно 9" в логическом выражении, построить таблицу истинности. 2. доказать, используя таблицу истинности, что логическое выражение a v b (над буквами вектора) и a & b - равносильны.

Показать ответ
Ответ:
Даяна303
Даяна303
02.10.2020 11:00
1. \ ((2*2=4) \land (3*3=9)) \lor (\lnot(2*2=4)\land\lnot(3*3=9))
Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
(a \land b) \lor (\lnot a\land\lnot b)
Для этого выражения и построим таблицу истинности.

2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается  теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
\bar a \lor \bar b = \overline{a \land b}
Сразу, у меня с информатикой плохо! и было бы неплохо, если вы напишите на листке : d 1. записать со
Сразу, у меня с информатикой плохо! и было бы неплохо, если вы напишите на листке : d 1. записать со
0,0(0 оценок)
Популярные вопросы: Информатика
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку
logo
Начни делиться знаниями
Вход Регистрация
Что ты хочешь узнать?
Спроси ai-бота