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

Введение

Напомним, что булевой функцией называют функцию , у которой все независимые аргументы и сама функция являются логическими переменными, принимающими только два значения: 0 и 1. Эти функции могут быть заданы аналитически в виде пропозициональной формулы (ПФ) геометрически или с помощью таблиц истинности. Например, все элементарные булевы функции двух переменных представлены таблицей истинности 1.

Таблица 1

fк (X1, X2)

Функция f1 называется нулевой; f16 - единичной; f2 - конъюнкцией; f8 - дизъюнкцией; f11 и f13 - отрицаниями Х1 и Х2 соответственно; f12 и f14 - импликациями; f3 и f5 - коимпликациями; f10 - эквиваленцией; f7 - сложением по модулю два или разделительной дизъюнкцией; f9 - стрелкой Пирса (функцией Вебба); f15 - штрихом (функцией) Шеффера.

Функцию, полученную из элементарных путем перенумерации аргументов и подстановки вместо аргументов в некоторых других булевых функций, называют суперпозицией функций. Нетрудно убедиться, что любая булева функция от n аргументов является суперпозицией элементарных функций, заданных табл. 1. Например, функция

является суперпозицией элементарных функций: отрицания, дизъюнкции, конъюнкции и импликации.

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

В последнем столбце таблицы 1 показано, что все элементарные функции двух переменных, следовательно, и любые булевы функции, могут быть записаны с помощью трех логических операций . Поэтому справедлива следующая теорема

Теорема. Отрицание, дизъюнкция и конъюнкция образуют полную систему булевых функций

Этот набор булевых функций наиболее удобен для построения сложных булевых функций и чаще всего используется в приложениях, однако он не является минимальным и может быть еще сокращен.

Полная система булевых функций называется базисом, если она перестает быть полной при удалении хотя бы одной из этих функций.

Согласно этому определению система булевых функций не является базисом. Действительно, применяя законы де-Моргана

конъюнкцию в булевой функции можно заменить на дизъюнкцию и отрицание, а дизъюнкцию - на конъюнкцию и отрицание. Следовательно, отрицание и дизъюнкция (отрицание и конъюнкция) также образуют полную систему булевых функций. Нетрудно убедиться, что наборы и являются базисными, так как их дальнейшее сокращение без нарушения полноты системы невозможно.

Для проверки полноты заданной системы булевых функций может быть использовано следующее очевидное утверждение:

Если система - полная и любая из функций f1, f2,...,fm может быть выражена с помощью суперпозиций через функции g1, g2,…, gк, то система также полная.

Пример 1. Доказать полноту системы .

Для доказательства воспользуемся системой , полнота которой уже доказана, эти функции можно выразить через g1 и g2 по формулам:

следовательно система функций является полной.

В общем случае для проверки полноты системы булевых функций используется критерий полноты Поста. Прежде чем его сформулировать, напомним некоторые определения [3].

Функция f = (Х1,Х2,...,Хn) называется функцией, сохраняющей константу 0 (1 ), если

Функция f (X1,X2,...,Xn) называется самодвойственной, если

Функция f (X1,X2,...,Xn) называется монотонной, если для любых двух наборов X = (X1,X2,…,Xn) и Y = (Yl, Y2,...,Yn), таких, что XY (для любого i XiYi) имеет место неравенство:

Функция f (X1,X2,..., Xn) называется линейной, если

где .

Первые четыре свойства проверяются с помощью таблицы истинности, а для проверки линейности функции необходимо построить многочлен Жегалкина.

Например, из табл. 1 следует, что f2 = X1ÙX2 и f8 = X1ÚX2 - функции, сохраняющие константу 0; f10 = X1↔X2 - функция, не сохраняющая константу 0, но сохраняющая константу 1; f7 = X1X2 - несамодвойственная функция; f2, fg - монотонные функции; f14 = X1→X2 - немонотонная функция, так как монотонность нарушается на набоpax (0, 0) и (1, 0); f3 - нелинейная функция, так как соответствующий ей многочлен Жегалкина X1 + X2 + X1X2 - нелинеен.

Теорема Поста. Система D = {f1, f2, ... fm} булевых функций является полной тогда и только тогда, когда среди функций этой системы существуют: функция, не сохраняющая константу 0, функция, не сохраняющая константу 1, а также нелинейная, несамодвойственная и немонотонная функции.

Пример 2. Доказать полноту системы .

Решение. Пусть К0 - класс функций, сохраняющих константу 0; К1 - класс функций, сохраняющих константу 1; Кл, Кс, Км - классы линейных, самодвойственных и монотонных функций соответственно.

Составим таблицу Поста следующего вида.

Таблица 2

К0

К1

Кл

Кс

Км

Знак "+", стоящий на пересечении i- й строки и j-го столбца этой таблицы, показывает, что функция φi - принадлежит соответствующему классу, записанному в j-ом столбце,

Из табл. 1 видим, что φ1 = f7 не сохраняет константу 1 и не является монотонной, φ2 = f8 - нелинейная и несамодвойственная функция, φ3 = f16 не сохраняет константу 0. Следовательно, все условия теоремы Поста выполнены, и заданная система является полной.

Пример 3. Доказать, что система {|} является базисом.

Решение. Рассматриваемая система состоит из одной функции f15 (функции Шеффера). Из табл. 1 видим, что f15 - функция, не сохраняющая 0 и 1, немонотонная (монотонность нарушается на наборах (1, 0) и (1, 1), несамодвойственная, так как , а двойственная функция нелинейная, так как многочлен Жегалкина для этой функции имеет вид: 1 + X1X2. Следовательно, система {f15} = {|} удовлетворяет всем условиям теоремы Поста и является базисом.

Исследуя различные наборы функций, можно показать, что для множества булевых функций двух переменных существуют 17 различных базисов, в каждом из которых нельзя вычеркнуть ни одну функцию без потери полноты. Наиболее распространенными из них являются конъюнктивный базис Буля , дизъюнктивный базис Буля . импликативныи базис . базис Шеффера {|}, базис Жегалкина .

Таким образом, для аналитического задания булевой функции можно использовать различные языки формул. Критерием выпора должен служить характер рассматриваемой задачи.

Оглавление

- Полные системы булевых функций

- Сокращенные и тупиковые дизъюнктивные нормальные формы

- Алгоритм Квайна и Мак-Класки минимизации булевой функции

- Геометрическое представление логических функций

- Геометрический метод минимизации булевых функций

- Минимизация булевой функции с помощью карты Карно

- Построение оптимальных контактно-релейных схем Упражнения

- Библиографический список

Список литературы

1. Нефедов В.Н. Курс дискретной математики / В.Н. Нефедов, В.А. Осипова: Изд-во МАИ, 1992. 262 с.

2. Яблонский С.В. Введение в дискретную математику / С.В. Яблонский. М.: Наука, 1979. 272 с.

3. Леденева Т.М. Специальные главы математики. Дискретная математика: учеб. пособие / Т.М. Леденева. Воронеж: ВГТУ, 1997. 130 с.

4. Кретова Л.Д. Элементы математической логики: методические указания к практическим и индивидуальным занятиям / Л.Д. Кретова, Н.Б. Ускова, В.В. Посметьев. Воронеж: ВГТУ, 2005. 21 с.