Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




ОПРЕДЕЛЕНИЕ. Конъюнкцией ранга r называется всякая формула K, имеющая вид:

Читайте также:
  1. I. ОПРЕДЕЛЕНИЕ БИОТЕХНОЛОГИИ КАК НАУКИ И ЕЕ ПРЕДМЕТА ИЗУЧЕНИЯ.
  2. Быстрое определение направлений
  3. Быстрое определение расстояний
  4. Введение в экспертные системы. Определение и структура
  5. Возникновения понятия экологии и его определение
  6. Второй этап это определение целей мегапроектов.
  7. Выбор типа весов и определение потребности в них
  8. Выбор типа, определение потребности в установках для интенсификации твердения бетона в изделиях, обоснование режима их работы
  9. Выявление приоритетных конкурентов и определение силы их позиции
  10. Геометрическое определение вероятности.

Конъюнкцией ранга r называется всякая формула K, имеющая вид: .

 

Булевскую функцию, представляемую конъюнкцией некоторого ранга, будем также называть конъюнкцией этого ранга, или просто конъюнкцией.

Очевидно, что K = принимает значение 1на единственном наборе значений своих переменных, для которого выполнены условия: . Поэтому для всякого конкретного набора значений переменных x1, . . . , xn однозначно определяется конъюнкция ранга n, принимающая значение 1 только на этом наборе. Например, для набора
(0,0,1,0,1) значений переменных x1, . . ., x5 соответствующая конъюнкция имеет вид

. (1)

Тогда, если булевская функция f(x1, . . . , xn) принимает значение 1 лишь на двух наборах значений переменных
(s1, . . . , sn) и (d1, . . . , dn), то справедливо равенство:
f (x1, . . . , xn) =

Ú . (2)

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

Приведенные два примера (1) и (2) представлений булевских функций формулами являются частными случаями следующей общей теоремы.

 


<== предыдущая страница | следующая страница ==>
ПО ПЕРЕМЕННЫМ | ТЕОРЕМА 4.2

Дата добавления: 2014-11-15; просмотров: 224; Нарушение авторских прав




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.