Математическая логика. Задание 2

ВСЁ ДЛЯ СТУДЕНТА

Четверг, 16.01.2025, 10:42

Приветствую Вас, Гость

[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]

Страница 1 из 1
1

Математическая логика. Задание 2 (Работа Контрольная)

Математическая логика. Задание 2

engineerklub

Дата: Суббота, 07.10.2023, 07:01 | Сообщение # 1

Генералиссимус

Группа: Администраторы

Сообщений: 29644

Репутация: 0

Статус: Offline

Математическая логика. Задание 2

Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word

Описание:
Задание 2. Привести следующие формулы к минимальной КНФ.

3. ;

Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ╞ ;

Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.

Таблица 1- ТИ функции Fi, i=21
a b c F21
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1

Задание 6.Привести формулы к предваренной нормальной форме (ПНФ) и сколемовской нормальной форме (СНФ)
21.

СКАЧАТЬ

Математическая логика. Задание 2 (Работа Контрольная)

Страница 1 из 1
1