Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Дискретная математика в программировании. Практикум. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
1 Мб
Скачать

Задание

1. Написать программу построения таблицы истинности для формул в соответствии с вариантом:

1.Ø(A Ù ØB) ® (B Ú C);

2.(Ø (P ® Ø(Q Ù P)) ® (P Ú R));

3.((P ® (Q ® R)) ® ((P ® Q) ® (P ® R))); 4.((P Ù (Q Ú ØP)) Ù ((ØQ ® P) Ú Q)); 5.(AÙØB)Ú(ØAÙB) ;

6.Ø((A~B) ~ (A®B)Ù(B®A));

7.(A®B)Ù(B®С)®(A®С); 8.(((P ® Q) Ú (P®(Q Ù P)));

9.(ØA Ù B) ® (ØB Ú A);

10.((A ® ØB) ® C) Ú ØA.

2.Написать программу построения таблицы истинности для формул в соответствии с вариантом и проверить, является ли формула тождественно истинной или тождественно ложной:

1.(P ® (Q ®P)); 2.((P Ù Q) ® P); 3.(P ® (P Ú Q)); 4.(ØP ® (P ® Q));

5.(A ~ B) ® (A ® B);

6.((P ® Q) Ú (P ® ØQ));

7.((A ® B) Ù B) ®A;

8.ØA ® (A Ú B);

9.Ø(A ® B) ~ (ØA ÚB);

10.Ø(A ® B) ~ Ø(A Ù ØB).

Практическая работа № 5.

Упрощение формул, релейно-контактные схемы функций

Цель работы: приобрести навыки упрощения формул алгебры логики и упрощения релейно-контактных схем функций.

21

 

Теоретические сведения

 

 

 

Введем

на

множествеM

отношения

следования

и

эквивалентности.

Формула

B следует из

формулы

A

(обозначается A Þ B),

если

она

истинна

на

всех

наборах

высказывательных переменных, на которых истинна формула A.

Формула A эквивалентна

формуле B (обозначается A~B),

если они следуют друг из друга, то есть A Þ B и B Þ A. Легко

показать, что

это

определение

эквивалентно

определению,

введенному в п. 1.

 

 

 

 

 

 

Теорема 1. Формула B следует из формулы A тогда и

 

только тогда, когда тождественно истинна формула A→B.

 

Теорема 2. Формула A эквивалентна формуле B тогда и

 

только тогда, когда тождественно истинна формула A~B.

 

Эквивалентность

формул

является

отношение

эквивалентности, поэтому

множество M

можно разбить

на

классы эквивалентности, включив в один класс эквивалентные между собой формулы. Каждой формуле U соответствует класс эквивалентности, который обозначается [U].

Теорема 3. Если A есть некоторая подформула формулы U и A эквивалентна формуле B, то формула, полученная заменой A в формуле U на B, эквивалентна U. Иными словами, если A~B, то

U(A) ~ U(B).

Например, так как A®B ~ А Ú В , то (A®B)ÙC ~ А Ú В ÙC. Следствие. Если U~A и V~B, то:

1)U Ú V ~ A Ú B;

2)U Ù V ~ A Ù B;

3)U ®V ~ A ®B;

4)(U~V) ~ (A~B);

5)Ø U ~ Ø A.

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

1. Коммутативность:

X ÙY ~ Y ÙX, X ÚY ~ YÚX.

22

2.

Ассоциативность:

 

 

(X ÙY)ÙZ ~ X Ù(YÙZ),

(XÚY)ÚZ ~ XÚ(YÚZ).

3.

Идемпотентность:

 

 

XÙX ~ X, XÚX ~ X.

 

4.

Законы поглощения:

 

 

XÚX Ù Y ~ X, X Ù (XÚY) ~ X.

5.

Взаимная дистрибутивность конъюнкции и дизъюнкции:

 

X Ù(YÚZ) ~ (X ÙY)Ú(X ÙZ), XÚ (YÙZ) ~ (XÚY)Ù(XÚZ).

6. Свойства констант:

 

 

XÙЛ ~ Л, XÙИ ~ X, XÚИ ~ И, XÚЛ ~ X.

7.

Законы де Моргана:

 

X Ù Y ~ X Ú Y , X Ú Y ~ X Ù Y .

8.Закон двойного отрицания:

Ø(ØX) ~ X .

9.Закон противоречия:

.

 

10. Закон исключенного третьего:

.

 

11.

.

12.

.

13. Склеивание:

 

X Ù Y Ú X Ù Y ~ X , (X Ú Y) Ù (X Ú Y) ~ X .

Формула называется приведенной, если она содержит операции конъюнкции, дизъюнкции и операцию отрицания, относящуюся к высказывательным переменным.

Теорема 4. Каждый класс эквивалентности [U] может быть

представлен приведенной формулой, т.е.

для любой формулы

UÎM существует приведенная формула

в . п5. Приведенная

формула для данного класса эквивалентности не является единственной. Определим порядок построения приведенной формулы.

1. Удаляются операции импликация и эквиваленция по п.11, 12.

23

2.

Операции отрицания спускаются до высказывательных

переменных

с помощью законов

де Моргана и двойного

отрицания.

 

 

 

 

3.

Если

это

возможно, то

полученная

приведенная

формула упрощается с помощью свойств 3, 4, 5, 6, 9, 10 (см. с.23).

Формула

U*

называется двойственной

к приведенной

формуле U, если она получена заменой операций конъюнкции на дизъюнкции и наоборот.

Теорема 5. (принцип двойственности). Пусть U(X1,…, Xn) –

приведенная формула, тогда U*( X1,…, Xn) ~ Ø U( X1 , . . . , Xn ).

Вавтоматическом управлении и при эксплуатации

вычислительных

 

машин

приходится

иметь

дело

переключательными

схемами (релейно-контактными,

 

полупроводниковыми),

состоящими

 

из

 

сотен ,

реле

полупроводников,

 

магнитных

элементов. Переключательная

 

схема

состоит

 

из

переключателей(например,

кнопочные

 

устройства,

электромагнитные

 

реле, полупроводниковые

 

элементы

и

.т).п и

соединяющих

их

проводников. При

 

конструировании

 

таких

схем

существенную

помощь

может

оказать

алгебра

высказываний: можно

построить

схему,

 

выполняющую требуемые функции (синтезирование схемы), или

 

изучить действие

 

построенной схемы

и возможность

упростить

 

(анализ схемы).

 

 

 

 

 

 

 

 

 

 

 

Каждой схеме ставится в соответствие формула алгебры

 

высказываний,

и

 

каждая формула реализуется с помощью

некоторой схемы. Покажем, как установить такое соответствие.

 

Каждому

 

переключателю P

ставится

в

 

соответствие

 

высказывательная переменная P, которая истинна тогда и только

 

тогда,

когда

 

переключатель

P

 

замкнут. Схеме с

 

последовательным

 

соединением

 

переключателейP

и

Q

 

соответствует

 

 

формула,

являющаяся

 

конъюнкцией

 

высказавательных

 

переменных,

соответствующих

 

этим

 

переключателям,

P Ù Q .

Схеме

с

параллельным

соединением

 

переключателей P и Q соответствует формула, являющаяся дизъюнкцией высказывательных переменных, соответствующих этим переключателям, P Ú Q . Два переключателя P и P' могут

24

быть связаны так, что когда P замкнут, то P' разомкнут. Тогда

переключателю P' ставится в соответствие переменнаяP , являющаяся отрицанием P.

Пример. Упростить схему

 

 

P

 

 

 

Q

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

ØR

 

 

 

A

 

Q

 

 

S

 

 

R

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

ØS

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Запишем формулу, соответствующую схеме, по приведенным выше правилам:

U = P Ù Q Ù R Ú P Ù RÚ Q Ù S Ù R Ú Q Ù S .

Преобразуем эту формулу, используя соответствующие эквивалентности:

 

 

U ~ (P Ù (Q Ù R Ú R)) Ú (Q Ù (S Ù R Ú S)) ~

 

 

 

 

 

~ P Ù (Q Ú R) Ú Q Ù (R Ú

 

 

 

 

 

 

 

 

 

 

S) .

 

 

 

Изобразим

 

схему, соответствующую

 

заключительной

формуле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

P

 

 

 

ØR

 

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØS

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

25

Задания

1.Упростить формулы:

1.(A ® P) Ù A Ù P;

2.A Ù P Ú (A Ù (A ® P));

3.(P ® B ) Ù (B ® C);

4.A Ù ( A Ú P ® (A Ú P));

5.(P ® A) Ù (A ~ P);

6.A Ú P Ú (A ® P );

7.B Ù A Ú B Ù A Ú B Ù C Ú B Ù C Ù A ;

8.(A ® P) Ù (P ® C)) ® (C ® A);

9.А Ù P Ù C Ú A Ù Р Ù C Ú A Ù P Ù С Ú A Ù P Ù C.

10.A Ú B Ù A Ú B Ù C Ú B Ù C

2.Упростить схемы:

а)

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØY

 

 

 

 

 

 

 

ØZ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØY

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

 

 

 

 

 

 

Y

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

ØY

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØX

 

 

 

ØY

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

26

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØX

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØY

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

ØZ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØY

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØX

 

 

 

 

 

 

ØZ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

ØZ

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ØX

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Практическая работа № 6. Минимизации булевой функции. Алгебра Жегалкина.

Линейные функции

Цель работы: приобретение навыков минимизации булевых функций с помощью карт Карно и треугольника Жегалкина.

Теоретические сведения

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

27

формулой, то система å0 =

{Ù, Ú, Ø }

полна.

Полной будет и

любая система å, через

операции

которой

можно выразить

конъюнкцию, дизъюнкцию и отрицание. Если все операции полной системы å* представимы формулами над системойå, то

å полна, в этом случае говорят, что å сводится к å*.

 

 

Алгебра над множеством логических функций с двумя

операциями Ù и Å называется алгеброй Жегалкина.

В алгебре

Жегалкина выполняются следующие соотношения:

 

 

X Å Y ~ Y Å X , X Ù (Y Å Z) ~ X Ù Y Å X Ù Z ,

 

 

X Å X ~ Л ,

X Å Л ~ X ,

 

а

также ассоциативность, коммутативность, идемпотентность

конъюнкции и свойства констант.

 

 

Доказательство неполноты системы операций необходимо

проводить в терминах булевых функций. Система

булевых

функций F называется полной, если любая функция может быть

реализована формулой над F.

 

 

Замыканием

множества F (обозначается [F]) называется

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

F. Класс функций называется замкнутым, если [F] = F.

 

 

Примеры замкнутых классов.

 

1.

Класс функций, сохраняющих 0:

 

T0 ={f Î Pn |f (0, 0, . . . , 0) = 0}.

2.Класс функций, сохраняющих 1: T1 ={f Î Pn | f (1,1, . . . ,1) = 1} .

3.Класс самодвойственных функций:

T* ={f Î Pn |f = f * } .

4. Класс монотонных функций:

T£ ={f Î Pn | a £ b Þ f (a) £ f (b)} ,

где a £ b Û ai £ bi , "i = 1, n . 5. Класс линейных функций:

T0 ={f Î Pn | f = c0 Å c1x1 Å . . . Å cn x n } .

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

28

бы

одну

 

несамодвойственную

функцию, хотя

бы

одну

немонотонную функцию и хотя бы одну нелинейную функцию.

 

Если

в

произвольной

формуле

алгебры

Жегалкина,

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

которой линеен.

 

 

 

 

 

Пример. Минимизировать

ДН-форму булевой функции,

заданной таблицей

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

x2

x3

x4

F

 

0

0

0

0

1

 

 

0

0

0

1

1

 

 

0

0

1

0

1

 

 

0

0

1

1

0

 

 

0

1

0

0

1

 

 

0

1

0

1

1

 

 

0

1

1

0

0

 

 

0

1

1

1

1

 

 

1

0

0

0

1

 

 

1

0

0

1

0

 

 

1

0

1

0

1

 

 

1

0

1

1

0

 

 

1

1

0

0

1

 

 

1

1

0

1

0

 

 

1

1

1

0

1

 

 

1

1

1

1

1

 

Решение.

1. Строим СДН-форму булевой функции

f f ( x1, x2 , x3 , x4 ) =

x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4

Úx1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4

Úx1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 Ú x1 × x2 × x3 × x4 . x.

Далее минимизацию ДНФ функции выполним по алгоритму Квайна–Мак-Клоски.

29

2. Строим сокращенную ДН-форму последовательной склейкой переменных. Геометрически склейка наглядно и просто выполняется с помощью карт Карно, которые являются способом изображения булева куба.

После выполнения всех склеек сокращенная ДНФ имеет

вид

f ( x1, x2 , x3 , x4 ) = x3 × x4 Ú x1 × x4 Ú x1 × x3 Ú x2 × x4 Ú

x2 × x3 × x4 Ú x1 × x2 × x3 Ú x1 × x2 × x4 .

 

 

Множество

булевых

функций, заданное

в

базисе

Жегалкина S4={ ,ʌ,1}, называется алгеброй Жегалкина.

Основные свойства:

1) коммутативность: X1 X2=X2 X1; X1ʌX2=X2ʌX1;

30

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]