Готовая контрольная работа по дискретной математике (итоговая работа, вариант «ИтХАБ 5-1»). Внутри один файл с решением, включающим два задания. Первое посвящено построению таблицы истинности для формулы логики от трёх переменных x, y, z: работа содержит заполненную таблицу со значениями функции F и оценивается в 6 баллов. Второе задание — синтез логической схемы по заданной таблице ввода/вывода; оно разбито на две части. В пункте «а» требуется построить логическое выражение, соответствующее таблице истинности, с обязательным упрощением: в решении последовательно строится СКНФ, затем СДНФ и выполняется её упрощение (8 баллов). В пункте «б» на основе упрощённой СДНФ строится логическая схема, имеющая заданную таблицу ввода/вывода (6 баллов). Таким образом, работа охватывает темы таблиц истинности, совершенных нормальных форм (СДНФ и СКНФ), упрощения булевых выражений и синтеза логических схем.