3. ЛАБОРАТОРНАЯ РАБОТА № 2. Матричная и интервальная формы представления булевой функции. Построение кратчайшей ДНФ методом Закревского
Цель работы: изучение свойств матричной формы представления булевых функций и метода упрощения булевой функции по матричной форме.
3.1. Теоретические сведения
Содержание работы включает в себя освоение ряда понятий и выполнение построений на основе матричной формы представления булевой функции: выписывание отдельных наборов, изучение понятия осей симметрии, подсчет для выделенной точки числа соседей и определение переменных, по осям симметрии которых расположены соседи, изучение понятия внешних и внутренних переменных интервала, выделение интервалов, выписывание конъюнкций для интервалов, нанесение на матрицу точек интервалов по конъюнкции, построение максимальных интервалов по матричной форме для выделенной точки. Выполнение этих заданий основывается на изучении определений, примеров и реализация отдельных и комплексных заданий, предоставляемых обучающей системой.
Все этапы решения выполняются под контролем системы ОККАМ. В системе предусмотрена автоматическая реализация отдельных наиболее громоздких и трудоемких, но рутинных и не требующих интеллекта этапов решения задачи.
Предполагается, что использование тренажера позволит обучаемому неоднократно, с соответствующим контролем со стороны системы, решать различные примеры для приобретения устойчивых навыков.
СКАЧАТЬ Matrichnaja i intervalnaja formy predstavlenija bulevoj funkcii Мetod Zakrevskogo.doc