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

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

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

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

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

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

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