Страницу Назад
Поискать другие аналоги этой работы

Экзамен по дискретной математике. Билет 4

ID: 63372
Дата закачки: 06 Февраля 2012
Продавец: sanco25 (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа Экзаменационная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

Описание:
1. Проверить, является ли тавтологией формула: a&b} (a&b v c&d).

Составим таблицу истинности данной формулы.
Данная формула является тавтологией, так как она принимает значение “истинно” при всех значениях.

2.Применяя равносильные преобразования привести булеву функцию к минимальной KНФ.

3. Построить конечный детерминированный автомат, минимизировать его, записать канонические уравнения.

Построить автомат – это значит определить множества и задать функции переходов и выходов.
После этого заполняем таблицу переходов–выходов автомата (таблица 2).
Нижние треугольники каждой клеточки таблицы содержат значения, которые вычисляются по формуле.
Запишем его канонические уравнения.
Запишем каноническую таблицу. И преобразуем ее к скалярному виду.

Комментарии: Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Дискретная математика
Вид работы: Экзамен
Оценка: Удовлетворительно
Дата оценки: 15.10.2009
Рецензия:
1 вопрос – верно.
2 вопрос - Но это не КНФ. Кроме того, неверно приманили закон двойного отрицания.
3 вопрос – Сама задача решена верно но есть небольшое замечание - «Для кодирования двух состояний достаточно слов длины 1, а не 2, как это у Вас. Тогда уравнения гораздо проще будут»
Мурзина Татьяна Степановна

Размер файла: 49,6 Кбайт
Фаил: