<<
>>

1.9.1. Система функций {}

Теорема. Всякая булева функция порождается некоторой формулой, в которой есть только операции .

Доказательство.

Пусть некоторая булева функция. Для нее можно поострить таблицу истинности, в которой будет 2n строк. Каждую строку можно представить в виде конъюнкции переменных х1,…хn, куда входит либо , либо . Если значение конъюнкции будет равно 1, то всю функцию можно представить в виде дизъюнкции этих конъюнкций.

Пример.

x y f(x,y)
0 0 1
0 1 1
1 0 0
1 1 1

Получим СДНФ, используя таблицу истинности.

Возникает вопрос: Существуют ли другие системы булевых функций, с помощью которых можно выразить все другие функции?

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 1.9.1. Система функций {}:

  1. 5. Проблема локализации высших психических функций. Общие признаки физиологических и психических функций как функциональных систем (приспособительный характер, иерархическое строение, пластичность, самоуправляемость и др.).
  2. 2.2.3. Полные системы булевых функций
  3. Функции политической системы общества
  4. 1) Ортогональные и ортонормированные системы функций.
  5. Функции политической системы
  6. Функции правовой системы общества
  7. Ряд Фурье по ортогональной системе функций.
  8. 33. Функции политической системы
  9. 2) Ортогональность тригонометрической системы функций.
  10. Тема 3. Функции финансовой системы