![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Основні припущення
Метод використовує наступні основні факти. Відомо, що будь-яку булеву функцію можна зобразити в диз’юнктивній нормальній формі. Для функції від трьох змінних загальний вигляд ДНФ можна записати так:
Невизначені коефіцієнти При визначенні ДНФ ураховують властивість: диз’юнкція деякого числа змінних дорівнює нулю, якщо всі вхідні в неї змінні дорівнюють нулю; дорівнює одиниці, якщо хоча б одна змінна дорівнює одиниці:
Оскільки функція від трьох змінних визначена на стандартних
Якщо функція приймає нульові значення на відповідному наборі змінних Систему (16.3) зручно зобразити у вигляді таблиці (табл. 16.1). Нижні індекси коефіцієнтів кожного стовпця визначають номер змінних, верхні – відповідають стовпцю значень ціх змінних. В останньому стовпці таблиці вказуються значення функції на відповідному наборі змінних, які визначаються за умовою задачі. Передбачається також, що всі коефіцієнти в довільному рядку пов’язані символами диз'юнкції.
Таблиця 16.1 – Подання системи рівнянь (16.3) за допомогою таблиці
|