Построить матрицу смежности и матрицу инцидентности.
Теоретические вопросы
Исчисление отношений. Основная терминология. Понятие упорядоченной пары, упорядоченной n-ки. Бинарное, n-арное отношение. Область определения и область значений бинарного отношения. График отношения.
Нормальные формы. АНФ, МНФ. Совершенные нормальные формы САНФ. СМНФ
Практическое задание
Минимизировать логическую функцию методом Квайна-Маккласски.
