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

1. Проверить, является ли отношением эквивалентности на множестве всех прямых на плоскости отношение "не пересекающихся прямых".
Решение:
Отношение называется отношением эквивалентности, если выполняются три аксиомы:

2. С помощью равносильных преобразований упростить булеву функцию .

3.Построить конечный детерминированный автомат, минимизировать его, записать канонические уравнения.
Решение:
Конечным детерминированным автоматом (к.д.а.) называется система , где – конечные множества (алфавиты), а – это функции, определенные на этих множествах.

Сдача 2012, ДО СибГути 3 семестр, Мурзина Т.С. "хорошо"