Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
хорошо различимых нашей интуицией или мыслью. Декартовым произведением множеств A и B называется
Объекты, о которых упоминалось в определении, множество упорядоченных пар вида 4.Разбиение на классы.
называются элементами множества. A×B={(a , b ), a ∈ A∧b ∈ B} Будем говорить, что множество M разбито на классы, если
Множество, состоящее из конечного числа Пара называется оно представлено в виде объединения своих
элементов, называется конечным.
Множество, не содержащее ни одного элемента, упорядоченной, если (a,b )≠(b ,a ) в общем случае непересекающихся подмножеств.
М= ¿ M i
i∈ I
9. A∪( B∩C )=( A∪B )∩C A∩( B∪C )=( A∩B )∪( A∩C ) отношения Композицией
Теорема 2.
10. отношений R и S будет называться отношение T ⊂ A×C . Непустое множество подмножеств множества A есть
A∪∅=A A∩∅=∅ A∪U =U A∩U = A разбиение множества A тогда и только тогда когда оно
11. T ={(a , c ):∃b :(a , b )∈ R∧(b , c )∈ S } T =S ∘ R Ко совпадает с множеством классов эквивалентности по
A∪ A=U A∩ A=∅ ∅=U U=∅ A= A .
мпозиция в общем случае некоммутативна, S ∘ R≠R∘ S , т.к.
некоторому отношению R.
Доказательство:
∅⊂ A A×B≠B× A .
Пусть ⟨ A ⟩= { A i } - разбиение.
1.
∀ A⊂U
Теорема.
A∪B=A∩B A∩B=A∪B
2
Законы де Моргана: Композиция отношений ассоциативна. Построим отношение R ∈ A следующим образом: будем
R ⊂ A×B S ⊂B×C T ⊂ C×D считать, что если
(a , b )∈ R ⇒ a ∈ Ai ∧b ∈ A i
T ∘( S∘ R)=(T ∘ S)∘ R 1) ∀ i∧∀ a∈ Ai ⇒(a , a)∈ R 2) a ∈ A i∧b ∈ A i ⇒b ∈ A i∧a∈ A i
1) т.к.
T ∘( S ∘ R)⊂(T ∘ S )∘ R∧(T ∘ S )∘ R ⊂T ∘( S∘ R )⇒T ∘( S ∘ R )=(T ∘ S )∘ R .
{ a i , a i , … , ai , … } ,
1 2 n
нумерация которого
если либо a ≼ b, либо b ≼ a.
элементы a и b называются несравнимыми.
В противном случае
' и '
a ≼a a ≼ a, откуда ввиду антисимметричности
'
любого отношения порядка следует, что
a=a .
Аналогично доказывается единственность наименьшего
элемента.
Замечание.Поскольку на одном и том же множестве могут
быть определены разные отношения порядка, то, когда это
необходимо, мы будем говорить о наибольших, наименьших
(соответственно максимальных и минимальных) элементах
по данному отношению порядка, уточняя тем самым, о каком
отношении порядка идет речь.
Пусть ( A , ≼ ) - упорядоченное множество и B⊂ A .
Элемент a ∈ A называется верхней (соответственно
нижней) гранью множества B, если для всех элементов
x ∈ B x ≼ a ( x ≽ a ¿.
Наименьший элемент множества всех верхних граней
(соответственно наибольший элемент множества всех
нижних граней) множества В называют точной верхней
гранью В (соответственно точной нижней гранью В) и
обозначают supB (infB).
Замечание. В отличие от наибольших (наименьших)
максимальных (минимальных) элементов sup и inf могут не
принадлежать рассматриваемому множеству.
Упорядоченное множество называют вполне
упорядоченным, если его любое непустое подмножество
имеет наименьший элемент.
Теорема.Всякое непрерывное отображение одного
индуктивного упорядоченного множества в другое
монотонно.
11.Полукольцо 12.Замкнутые п-ца – это алгебра с 15. Булевы алгебры. Принцип двойственности. 16.Решетки.=< А, >, в котором каждая пара элементов
двумя бинарными и двумя нульарными операциями. базис - набор И, ИЛИ, НЕ (конъюнкция, дизъюнкция, имеет супремум и инфиум. Для заданных элементов x,y А
отрицание). Множество всех логических функций, на элемент inf{x,y} наз пересечением элементов x и y (обозн.
S=(S,+,.,0,1), такая что для произвольных элементов
котором определены эти три операции, называется булевой x^y), а sup{x,y} наз. объединением x и y (обозн. xvy).
a,b,c, множества S выполняются след.равенства алгеброй. Наименьший (наибольший) элемент решетки, если он
(аксиомы полукольца): Булева алгебра - раздел математической логики, изучающий существует, наз. нулем(единицей).
1) a+(b+c)= (a+b)+c высказывания и операции над ними. Наиболее известными Определим решетку подсистем системы ß=< B, ∑>,
2) a+b=b+a операциями булевой алгебры являются: конъюнкция, содержащих непустое мн-во XB. Рассмотрим мн-во L(ß)={ |
дизъюнкция, импликация, эквивалентность, отрицание. = <A, ∑>ß и ХА } и зададим на нем частичный порядок
3) a+0=a Двойственная к булевой формуле может быть по следующему правилу: 1212. Пара <L(ß),> образует
4) a*(b*c)= (a*b)*c полученная заменой констант 0 на 1, 1 на 0, решетку подсистем. В этой решетке для любых подсистем 1
5) a*1=1*a=a ¿ на ¿ , ¿ на ¿ и сохранением структуры = <A1, ∑>, 2 = <A2, ∑> из L(ß) пересечение 12 есть
6) a*(b+c)= a*b+a*c подсистема <A1 A2, ∑>, а объединение 12 – подсистема,
формулы ( т.е. соответствующего порядка поражденная мн-вом A1 A2: ß(A1 A2).
7) (b+c)*a=b*a+c*a
действий). Пусть =<A, ∑> -алгебра, Con{| - конгруенция на }. На
8) a*0=0*a=0 Дистрибутивная решетка = <A, > наз. булевой алгеброй, множестве конгруенций Con зададим отношение по
первую операцию + назыв. Сложением полукольца, *- если имеет нуль 0, единицу 1, 01 и для следующему правилу:12 для любых элементов a,b A из
умножением, 0 и 1 нулем и единицей полукольца. любого элемента x A найдется элемент x (наз. дополнением условия a1b вытекает a2b. Это означает, что каждый 2-класс
Кольцо есть частный случай полукольца. 2 вида элемента x ) такой, чтоx x=1 и xx=0. состоит из 1-классов. Система <Con, > образует решетку
полук-ц: коммутативное(с коммут.операц. Если –булева алгебра, то для любого элемента x конгруенций. В этой решетке пересечение 12 конгруенций
умножения) и идемпотентное(с идемпотентной дополнение x единственно. 1 и 2 удовлетворяет след. усл.: для любых a,bA тогда и
Булеву алгебру можно представить в виде ß= <B, ,,-,0,1>.
операц.сложения. ) только тогда a(12)b, когда a1b и a2b . Объединение 12
Если ß= <B, ,,-,0,1>–булева алгебра, то в ß выполняются конгруенций 1 и 2 и опр-ся след. отнош-ем: для любых a,bA
Полукольцо S=(S,+,.,0,1), называется замкнутым если:
следующие условия для любых x,y,z B: тогда и только тогда a(12)b, когда сущ. такие с1,с2, …,сn A,
1. Оно идемпотентно 1. ассоциативность операций и что с1= a, сn= b, и справедливо ci 1ci+1 или ci2ci+1 для любого i
2. Любая последователь-ть элементов x (yz)= (xy)z, x (yz)= (xy) z, = 1,…,n-1.
множества S имеет точную верхнюю грань 2. коммутативность операций и Решетка конгруенций имеет нулевую конгруенцию 0А =
относительно естественного порядка <=этого xy= y x, xy= y x {(a,a)|aA }и единичную конгруенцию 1A=A2 .
3. законы идемпотентности Решетка = <A, > наз. дистрибутивной, если она
идемпотентного полукольца. xx=x,xx=x подчиняется дистрибутивным законам x(yz)= xy)( xz), x
3. Операц.умножен. п-ца S сохраняет точные 4. законы дистрибутивности (yz)= (xy) ( xz) для всех x,y,z A.
верхние грани последовательностей. x(yz)= (xy)( xz) Теорема: Решетка = <A, > дистрибутивна тогда и только
Т1. Любое конечное идемпотентное п-цо замкнуто. x (yz)= (xy) ( xz) тогда, когда не имеет подрешеток, изоморфных M3 или P5.
5. законы поглощения
Док-во: т.к.носитель S идемп.п-ца S=(S,+,.,0,1) есть
x(xy)=x, x (xy)=x
конечн.мн-во, то мн-во элементов ∀ посл-ти в этом 6. законы де Моргана
xy= xy, xy= xy(подписать “-“ над)
п-це конечно. Для нахожден. Sup такой посл-ти надо
7. законы нуля и единицы
найти sup мн-ва P={p1,..pn} ее членов, т.е. вычислить x0=x, x0=0, x1=1,x1=x,
некоторую конечную сумму которая всегда ∃. Т.о. в xx=1,xx=0, 01(подписать “-“ над)
8. законы двойного отрицания
конечном идемпотентном полукольце ∀ послед-ть x=x (подписать “-“ над).
имеет sup. Условия сохранения точных верхних Принцип двойственности для булевых алгебр: если в
справедливом утверждении о булевых алгебрах, касающемся
граней имеют вид: a(p1+..+pn)=ap1+..+apn, (p1+.. отношения и операций ,,0,1, всюду заменить на на, на ,
+pn)a=p1a+..+pna, и вып-ся в силу аксиом полук-ца. на ,0 на 1, на 0, то получится также справедливое
Т.о. п-цо S замкнуто чтд. утверждение
∀
Т2.Идемпотентное п-цо замкнуто ттт когда
счетное подмножество x ⊂ S имеет sup и
∀ a ⊂S ⇒ asupx=supax ; ( supx ) a=supxa .
Т3.В ∀ замкн.п-це sup суммы произвольных посл-тей
= сумме sup этих посл-тей.
Элемент а множества A называют неподвижной
точкой отображения f : A → A , если f(а) = а.
Элемент а упорядоченного множества М называют
наименьшей неподвижной точкой отображения f,
если он является наименьшим элементом множества
всех неподвижных точек отображения.
Теорема о неподвижной точке.
Любое непрерывное отображение индуктивного
упорядоченного множества (M ,≤) в себя имеет
наименьшую неподвижную точку.
20.Графы 21.Связность графа.. 22.Способы задания графов.
Возьмем два множества: V- множество точек(не пустое), E- Граф (ор-граф) называется связным (сильно связным), если 1) геометрический.
множество линий (может быть пустое). Возьмем элемент e из любая пара его вершин соединяется хотя бы одной цепью. 2) табличный а) назовем вершину vi непосредственно
множества E. Если существует пара элементов u,vV, что эти предшествующей вершине vj, если существует дуга (vi,vj).
элементы являются концами линии е, то говорят, что элемент е - сильно связан - слабо связан Множество вершин, непосредственно предшествующих
инцидентен элементам u и v, и наоборот, элементы u и v вершине vj, обозначим B(j), тогда граф можно задать в виде
инцидентные. таблицы, где в первой троке записываются вершины, а во
Графом (G,G(u,v),V E) называется совокупность множеств V и второй строке под ними вершины, непосредственно
E между элементами которых определено отношение предшествующие соответствующей вершине.
инцидентности, причем для каждого элемента еÎЕ найдется Возьмем ор-граф и уберем стрелки, тогда получим неор. Вершина vj называется непосредственно следующей за
пара элементов из множества V, что e инцидентно этим граф, о котором говорят, что он ассоциирован с данным. Ор- вершиной vi, если существует дуга (vi,vj). Множество
элементам. Обратное вообще говоря неверно: элементы V не граф называется слабосвязным, если ассоциированный с ним вершин, непосредственно следующих за вершенной vi,
инцидентны никаким элементам из множества Е.??? граф является связным. обозначим как A(i). Таблица задается аналогично. Очевидно,
Элементы множества V называются вершинами графа, Максимально связанный (сильно связанный) подграф ели граф не ориентирован, то множества А и В совпадают. б)
элементы множества Е- ребрами графа. Вершина, не данного графа называется компонентой связности (сильной таблица : в первой строке записываются ребра, а во второй
инцидентная ни одному ребру, называется изолированной. связности). строке – инцидентные им вершины. Причем если граф
Граф, состоящий только из изолированных вершин, называется Очевидно, если граф G имеет Р компонент связности ориентирован, то на первом месте во второй строке ставится
нуль-графом. Вершины, инцидентные одному ребру, G1,G2,G3,…,Gp, то число вершин графа G равно числу начальная, а на вором – конечная вершина. Если граф не
называются смежными. Два ребра, инцидентные одной компонент связности. Если граф неор., то число его ребер ориентированный, то в любом порядке.
вершине, называются смежными. Если вершина инцидентна равно сумме ребер его компонент связности. 3) аналитический {V1,V2,V3,V4,(V2V3),(V4V2),(V4V3),
только одному ребру, то она называется висячей. Если вершина Рассмотрим алгорит выделения компонент связности для (V3V2)}
инцидентна только двум ребрам, то она называется неор. графа и этот же алгоритм даст возможность 4) матричный а) пусть имеем граф, содержащий n вершин и
транзитивной. Если граф содержит петли, то он называется определить, будет ли граф связным. Этот алгоритм может m ребер или дуг. Матрицей инцидентности называется
псевдографом. Если граф содержит кратные ребра, то его работать и для выделения компонент слабой связности графа. матрица размера n x m(строки х столбцы), элемент которой
называют мультиграф. Если не никаких оговорок, то, говоря о 1) возьмем какую-нибудь вершину, 2) запишем все вершины, Aij в случае не ориентированного графа равен 1, если
графе, будем полагать, что он не содержит ни петель, ни ей смежные, получим список, 3) к каждой вершине списка вершина Vi инцидентна j-му ребру, и 0, в противном случае.
кратных ребер. В некоторых случаях рассматриваются графы, пункта 2 присоединяем смежные вершины, причем если Aij={1, Vi инц. j ребру; 0, если нет}. Если граф
вершины которого неравноправны, т.е. рассматриваются в вершина уже есть в списке, то ее уже не пишем, список при ориентированный, то Aij=-1, если вершина Vi начальная для
определенном порядке, тогда ребру приписывается этом дополняется, 4) к полученным вершинам снова j-й дуги, =1, если конечная, и 0, если вершина не инцидентна.
направление от начальной вершины к конечной. Направленное добавляем смежные к ним, не вошедшие в список, и так до Замечание: если мы имеем псевдограф(петлю), то в
ребро называется дугой графа. Граф, содержащий только дуги, тех пор, пока список не будет расширяться. При этом если в соответствующем месте Aij ставится любое число, отличное
называется ориентированным графом, или ор-графом. Если список вошли все вершины графа, то граф связный, в от 0 и +-1. б)матрица смежности. Матрицей
граф содержит дуги и ребра, то он называется смешанным. Для противном случае м ы выделим одну компоненту связности. смежности графа называется матрица n-го порядка(число
неориентированных. графов (u,v)=(v,u), для ор-графов Тогда берем любую вершину, не вошедшую в первую вершин), элемент которой Aij=1, если есть дуга (vi,vj), и =0 в
(u,v)≠(v,u). компоненту связности и повторяем алгоритм. противном случае. Число единиц в матрице будет равно
Теорема Эйлера: Сумма степеней вершин графа равна количеству дуг или удвоенному числу ребер.
удвоенному количеству ребер. Обычно граф изображают
диаграммой: вершины – точками (или кружками), ребра –
линиями.
Подграфы. Операции над графами.
Граф Н называется подграфом графа G, если множество
вершин графа Н есть подмножество вершин графа G, и
множество ребер графа Н есть подмножество ребер графа G: VH
VG EH EG . Подграф Н называется оставным, если множество
вершин VH=VG. Говорят, что подграф Н порожден вершинами
VH VG, где VH не пустое, если он содержит те и только те
дуги(ребра), оба конца которых принадлежат множеству VH.
Очевидно, что если мы имеем матрицу смежности, то чтобы
получить матрицу смежности подграфа, порожденного какими-
то вершинами, нужно вычеркнуть соответствующие строки и
столбцы матрицы исходного графа, тогда на пересечении этих
строк и столбцов будет находиться матрица смежности графа,
порожденного соответствующими вершинами. Это
справедливо и для псевдо- и для мультиграфов.
Теорема 1: В графе G сумма степеней всех его вершин - число
п четное, равное удвоенному числу ребер графа:
1 2 3 4 5
f
2 3 1 4 5
17.Комбинаторика. 18. Размещения и сочетания. 19. Бином Ньютона.
Аксиомы. 1. Отрезок натурального ряда [1,n]N=(1,2,3,…,n} Под комбинаторным объектом понимают подмножество Убедимся в справедливости следующих соотношений для
содержит n элементов. заданного дискретного множества, удовлетворяющего любых натуральных n и формальных переменных x и y:
2.Если A и B множество и существует биективное отношение некоторым зафиксированным свойствам.
5)
6)
б) Правило произведения.
:
комбинаторных чисел.
, 7)
25. Деревья. Лес. 26. Остовное дерево наименьшего веса. Алгоритм 30. Алгоритм Дейкстеры
Путем в графе называется такая последовательность ребер, Краскала Остовным деревом связанного графа G Сначала помечается исходная вершина; следующей,
ведущая от некоторой начальной вершины Р1 в конечную называется любой подграф графа G, который является очевидно, будет помечена вершина, ближайшая к исходной,
вершину Рn, в которой каждые два соседних ребра имеют деревом и содержит все вершины графа G. и смежная с ней.
общую вершину и никакое ребро не встречается более одного Замечание: Остовное дерево в графе может быть Пусть на каком-то шаге уже помечено несколько вершин.
раза. Например, в графе, изображенном на рис. выделено не единственным образом. Известны кратчайшие пути, ведущие из исходной вершины к
Кроскаль помеченным. Для каждой из непомеченных вершин
1. Множество ребер Н искомого остовного дерева выполняются операции, указанные ниже и приведенные на
полагаем пустым (Н = 0). рис. 1.
2. Формируем множество Vs = {{v1},..., {vn}}, элементами 1. Рассмотрим все дуги, ведущие из
которого являются множества вершин, помеченных вершин в одну непомеченную. Каждая такая
соответствующих компонентам исходного остовного дуга является последней дугой на пути из исходной вершины
последовательность ребер (а1, а2, а3, а4, а5, а6) образует путь, леса. Каждая такая компонента состоит из в эту непомеченную.
ведущий от вершины Р1 к вершине Р4. единственной вершины. 2. Выберем из этих путей
Циклом называется путь, начальная и конечная вершины 3. Сортируем множество ребер Е исходного графа по кратчайший. А затем выберем среди них самый короткий ко
которого совпадают. На рис. ребра (a1, a3, a4) образуют цикл. возрастанию весов и формируем очередь Q, элементами всем непомеченным вершинам, и пометим вершину, к
Цикл графа G называется простым, если он не проходит ни которой являются ребра графа G. которой он ведет.
через одну вершину G более одного раза. 4. Если множество Vs содержит более одного элемента
Длиной пути или цикла называется число ребер этого пути (т.е. остовный лес состоит из нескольких компонент) и
или цикла. очередь Q не пуста, переходим на шаг 5, если иначе —
Граф G называется связным, если для любых двух его вершин на шаг 7.
существует путь, их соединяющий. В противном случае граф G 5. Извлекаем из очереди Q ребро е. Если концы ребра е
называется несвязным. принадлежат различным множествам вершин Vi и Vj из
Связный граф без циклов называется деревом. Vs, то переходим на шаг 6, если иначе, то отбрасываем
Граф называется деревом, если извлеченное ребро и возвращаемся на шаг 4.
1. в нем есть одна вершина, в которую не входят ребра; она 6. Объединяем множества вершин Vi и Vj (полагая W =
называется корнем дерева; = Vi и Vj), удаляем множества Vi и Vj из множества Vs и
2. в каждую из остальных вершин входит ровно по одному добавляем в Vs множество W. Добавляем ребро е в
ребру; множество Н. Возвращаемся на шаг 4.
3. все вершины достижимы из корня. 7. Прекращаем работу. Множество Н есть множество
Граф, являющийся объединением нескольких ребер полученного остовного дерева.
непересекающихся деревьев, называется лесом.
дерева .
39.Карты Карно. Построение МДНФ с помощью 37.КНФ и ДНФ 33.Булевы функции.
карт Карно. 1. (ДНФ). Основные способы задания.
Формула D называется дизъюнктивной нормальной E={0,1}. f: En®E – отображение ЕЕЕ…Е®Е
Карты Карно для g переменных служат эффективным формой (ДНФ), если она является дизъюнкцией называется булева функция от переменных y=f(x1,…,xn),
средством иллюстративного представления n-куба. Она элементарных конъюнкций, т.е. имеет вид D=K1vK2v…Kr, (x1,…,xn)En. БФ – двоичная функция двоичных
содержит 2n ячеек, каждая из которых соответствует одной из где каждая формула переменных. f (x̃)=f(x1,…,xn). f(0…0)=f(0̃), f(1…1)=f(1̃).
2n возможных комбинаций значений n логических переменных Kj (j =1,...,r) - это элементарная конъюнкция. D y=f(x), x=0,1; y=f(x1,x2). БФ можно задать кубически.
x1,x2,…,xn. Карта стоится в виде матрицы размера 2n-k на 2n так. называется совершенной ДНФ, если в каждую из ее При этом область определения – вершины n – мерного
что её столбцы соответствуют значениям переменных x1,…,xr конъюнкций Kj входят все n переменных из X куба.
строки – значениям переменных xr+1,…,xn, а соседний ячейки Элементарной конъюнкцией называется конъюнкция БФ может быть задана таблично, причем все наборы
(как по вертикале, так и по горизонтали) отличаются только переменных высказываний и (или) их отрицаний. f(x,y,z) условимся заносить в порядке возрастания их
значением одной переменной. Элементарной дизъюнкцией называется дизъюнкция десятичных эквивалентов.
переменных высказываний и (или) их отрицаний. xyz f f(10101110) – канонический набор. Если мы
00…00 00…1 …x1…xk… 10…0 2. (КНФ). имеем
формула C называется конъюнктивной нормальной 000 1 функцию n переменных, то количество
00..0 формой (КНФ), если она является конъюнкцией наборов = 2n=к
элементарных дизъюнкций, т.е. … Т.к. переменные принимают конечное число
00..1 C=D1 v D2 v…v Dr, значений,
где каждая формула Dj (j =1,...,r) - это элементарная 111 0 то и БФ-й от n переменных будет конечное
… дизъюнкция. Она является совершенной КНФ, если в число. 2α=2к
каждую Dj входят все n переменных из X Изучать БФ, используя табличное задание можно, если
xk+1…xk
Элементарной конъюнкцией называется конъюнкция число переменных невелико. Иногда удается в функции
… переменных высказываний и (или) их отрицаний. сократить число переменных, причем свойства функции
Элементарной дизъюнкцией называется дизъюнкция от этого не меняются. Переменная xi называется
10..0 переменных высказываний и (или) их отрицаний. существенной, если удается найти такой набор αi, что
значения f(α1,…, αi-1,0, αi+1,… αn)≠ f(α1,…, αi-1,1, αi+1,… αn).
3. Понятие совершенной дизъюнктивной Существенная зависимость означает невозможность
нормальной формы (СДНФ). определения значений функции без использования
У каждой вершины n-куба есть ровно n смежных с ней вершин, Определение 1. переменной xi. Переменная xi называется фиктивной,
т.е. вершин, отличающихся от неё только одной координатой. Элементарная конъюнкция называется правильной, если для всех наборов f(α1,…, αi-1,0, αi+1,… αn)= f(α1,…, αi-
Поскольку в карте Карно каждая ячейка может иметь не более если в неё каждая переменная входит не более одного 1,1, αi+1,… αn).
четырёх ячеек, соседних по строке или столбцу, для раза, включая её вхождение и под знаком отрицания. Основные булевы функции.
представления точек, отличающихся только на одну Определение 2. Основные БФ ДМ играют ту же роль, что и
координату, необходимо использовать и более удалённые Элементарная конъюнкция называется полной элементарные функции обычной математики.
ячейки относительно переменных x,y,z ..., если в неё входит xy f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16
каждая из этих переменных не менее одного раза, 00 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1-
Булева функция может быть представлена на карте Карно включая и их вхождение под знаком отрицания. const 0, 2- x1x2
выделением 1-ячеек (т.е. ячеек, в которых функция принимает Определение 3. 01 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 3-
значение равное 1). Подразумевается, что обозначенные ячейки Совершенной дизъюнктивной нормальной формой not(x®y), 4- x,
соответствуют 0-точкам. (СДНФ) относительно переменных x,y,z,... , называется 10 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 5-
дизъюнктивная нормальная форма, в которой нет not(y®x), 6-y,
Для построения имплекант берутся все возможные наборы 1- одинаковых элементарных конъюнкций и все 11 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 7- x
ячеек, образующие вершины некоторого r-куба (т.е. 2k точек элементарные конъюнкции правильные и полные y, 8- xy,
таких, что пары соседних отличаются ровно одной относительно переменных x,y,z,... .
координатой). Совпадающие координаты образуют набор (δ1, 9- xy, 10- xy, 11- y, 12- y®x, 13- x, 14- x®y, 15-
Т.е.: x/y, 16- const 1.
…,δn-k), и требуемая имплеканта имеет вид xi1δ1…xin-kδn-k, где xi – 1) Различны все члены конъюнкции ("множители");
переменная, соответствующая значению δi. m(x,y,z) – функция согласования (медиант), по
2) Различны все члены каждой дизъюнкции количеству 0 и 1 функция m принимает значение исходя
("слагаемые"); из большинства.
определение простых имплекант функции сводится сводится к 3) В каждой дизъюнкции нет одновременно переменной
нахождению всех k-кубов, которые не содержатся в кубах Основные булевы тождества.
и ее отрицания; БФ может быть задана формулой. Стройматериалом для
более высокого порядка. 4) Каждая дизъюнкция содержит все переменные,
функции является: const 0,1 , x,y, ,,,,,,/.
входящие в данную формулу или их отрицания.
После нахождения простых имплекант задача построения Приоритет: ,, все остальные в порядке следования.
4. Понятие совершенной конъюнктивной
минимальной ДНФ сводится к изучению матрицы Квайна. При Если нужно изменить порядок, то ставят скобки. БФ
нормальной формы (СКНФ).
наглядном размещении простых имплекант в карте Карно можно преобразовать, используя основные тождества.
Определение 1.
удаётся непосредственно находить миимальную ДНФ, выбирая Две функции называются тождественными, если они
Элементарная дизъюнкция называется правильной,
те простые иплеканты, которые покрывают все единицы и реализуют одну функцию. Пример: ху=ху.
если в неё каждая переменная входит не более одного
имеют наиманьшее возможное число вхождений переменных. Тождеством называется пара тождественных функций,
раза, включая её вхлждение и под знаком отрицания.
Определение 2. связанных знаком «=».
Элементарная дизъюнкция называется полной 1. х х=х, х 0=0, х 1=х, х х=0, хх=х, х0=х, х1=1,
относительно переменных x,y,z ..., если в неё входит хх=1, хх=0, х0=х, х1=х, хх=1.
каждая из этих переменных не менее одного раза, 2. х у=у х, хÚу=уÚх, хÅу=уÅх, х(yz)=(xy)z, xÚ(yÚz)=
включая и их вхождение под знаком отрицания. (xÚy) Úz, xÅ(yÅz)=(xÅy) Åz.
Определение 3. 3. x(yÚz)=xyÚxz, xÚyz=(xÚy)(xÚz), x(yÅz)=xyÅxz.
Совершенной конъюнктивной нормальной формой 4. not(xÚy)= x`y, not(xy)= `xÚ`y.
(СКНФ) относительно переменных x,y,z,... , 5. x®y=`xÚy – импликация, xy=xyÚ`x`y –
называется конъюнктивная нормальная форма, в которой эквивалентность, xÅy=x`yÚ`x y, xy=not(xÚy),
нет одинаковых элементарных дизъюнкций и все x/y=not(xy).
элементарные дизъюнкции правильные и полные xyÅxÅy=xÚy.
относительно переменных x,y,z,... .
Т.е.:
1) Различны все члены дизъюнкции ("слагаемые");
2) Различны все члены каждой конъюнкции
("множители");
3) В каждой конъюнкции нет одновременно переменной
и ее отрицания;
4) Каждая конъюнкция содержит все переменные,
входящие в данную формулу или их отрицания.
VFJ