Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Контрольная работа на тему:

Доказать по таблицам истинности равносильность

уникальность
не проверялась
Аа
3545 символов
Категория
Высшая математика
Контрольная работа
Доказать по таблицам истинности равносильность .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Доказать по таблицам истинности равносильность: a b =a b, a b =a b a b, a b =a b v a b. Доказать по таблицам истинности справедливость равносильностей . Доказать с помощью эквивалентных преобразований равносильность: а ~ b = a b. Дана равносильность: Вариант 6. f =. Проверить справедливость равносильности с помощью таблиц истинности. Доказать равносильность с помощью эквивалентных преобразований. В пп. 4 и 5 предварительно выразить функцию g через базовые логические операции: {, , }.

Нужно полное решение этой работы?

Решение

Потяни, чтобы посмотреть
Докажем по таблице истинности равносильность: a b =a b.
Учитывая приоритет логических операций, последовательно заполняем столбцы таблицы (таблица 1).
Таблица 1 – Таблица истинности
a b a a b a b
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
Для всех наборов значений аргументов a и b значения выражений в выделенных столбцах совпадают. Справедливость равенства доказана.
Докажем по таблице истинности равносильность: a b =a b a b.
Учитывая приоритет логических операций, последовательно заполняем столбцы таблицы (таблица 2).
Таблица 2 – Таблица истинности
a b a b a b a b a b a b a b
0 0 1 1 1 0 1 1
0 1 1 0 0 0 0 0
1 0 0 1 0 0 0 0
1 1 0 0 0 1 1 1
Для всех наборов значений аргументов a и b значения выражений в выделенных столбцах совпадают. Справедливость равенства доказана.
Докажем по таблице истинности равносильность: a b =a b v a b.
Учитывая приоритет логических операций, последовательно заполняем столбцы таблицы (таблица 3).
Таблица 3 – Таблица истинности
a b a a b b a b a b v a b a b
0 0 1 0 1 0 0 0
0 1 1 1 0 0 1 1
1 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0
Для всех наборов значений аргументов a и b значения выражений в выделенных столбцах совпадают . Справедливость равенства доказана.
2. Докажем по таблицам истинности справедливость равносильностей .
5) дистрибутивность конъюнкции относительно дизъюнкции (таблица 4):

Таблица 4 – Таблица истинности

0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 0 1 0
0 1 1 0 0 0 1 0
1 0 0 0 0 0 0 0
1 0 1 0 1 1 1 1
1 1 0 1 0 1 1 1
1 1 1 1 1 1 1 1
Значения в выделенных столбцах таблицы истинности для левой и правой частей совпадают
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по высшей математике:

Вычислить производные функций y=7sinx∙x2-2x+3

921 символов
Высшая математика
Контрольная работа

Найти решение дифференциального уравнения y''=6y2

469 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Закажи контрольную работу
Оставляя свои контактные данные и нажимая «Найти работу», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.