Смекни!
smekni.com

Доведення теоретико-математичних тотожностей і тверджень (стр. 5 из 5)

9)

– перший закон Моргана.

10)

– другий закон Моргана.

11)

– закон подвійного заперечення.

12)

– закон протиріччя.

13)

– закон виключення третіх.

14)

.

15)

.

16)

.

Тотожності, що містять константи:

17)

.

18)

.

19)

.

20)

.

21)

.

22)

.

23)

.

24)

.

25)

.

26)

.

5.2. Завдання:

Звести до ДНФ таке висловлювання.

Розв‘язок:F=

6. Побудова досконалої диз'юнктивної нормальної форми (ДДНФ)

6.1. Теоретичні відомості

Визначення. Нехай

– деяка множина логічних змінних. Елементарна кон’юнкція, в яку входять усі логічні змінні, називається повною елементарною кон’юнкцією щодо множини
.

Визначення. Нехай

є повною елементарною кон’юн­к­­цією щодо множини
. Тоді
містить у таблиці істинності лише одну одиницю, причому на наборі
. І навпаки, якщо в таблиці істинності висловлення
є лише одна одиниця на наборі
, то
є повною елементарною кон’юнкцією, причому

Визначення. Нехай

– висловлення. Позначимо через
множину всіх наборів
, на яких
.
називається множиною істинності висловлення
. Можна записати, що
.

Теорема. Якщо

, то
.

Визначення. Диз'юнктивна нормальна форма називається досконалою (ДДНФ), якщо всі складові її елементарної кон’юнкції є повними.

Теорема. Нехай

– висловлення, що не є тотожно хибним, тобто
,тоді


6.2.Завдання:

Звести до ДНФ таке висловлювання.

;

Розв‘язок:

X Y Z W
0 0 0 0 1 1 1 0 0 1 1 1
0 0 0 1 1 1 1 1 1 0 0 0
0 0 1 1 0 0 0 1 1 0 1 0
0 1 1 1 0 0 0 1 1 0 1 0
1 1 1 0 0 1 1 1 1 0 0 0
1 1 0 0 0 1 1 1 1 0 0 0
1 0 0 0 1 1 1 0 1 0 0 1
1 1 1 1 0 1 1 1 1 0 0 0
X Y Z W
0 0 0 0 1 0 1 1
0 0 0 1 1 0 0 0
0 0 1 1 0 1 1 1
0 1 1 1 0 0 1 1
1 1 1 0 1 1 1 1
1 1 0 0 1 1 0 1
1 0 0 0 1 0 1 1
1 1 1 1 1 1 1 1


7. Графи

7.1. Теоретичні відомості

Матриця інциденцій для орієнтованого графа:

1, якщо вершина vi інцидентна ребру ej і є його кінцем

H[i,j]= 2, якщо вершина vi і ребро не інцидентні ej

-1, якщо вершина vi інцидентна ребруej і є йогопочатком

Задан ориентированний граф у графиічноїеской формі.Побудовати

Нехай, v1 iv2 – вершини, e = (v1,v2) – ребро, що їх з’єднує. Тоді вершина v1 iребро е – інцидентні, ребро eiвершина v2 також інцидентні.

Завдання:Побудовати таблицу иіцидентности данного графа

Розв‘язок: таблицу иіцидентности данного графа.

V1 V2 V3 V4 V5 V6 V7 V8
e1 0 -1 0 0 1 0 0 0
e2 1 0 0 0 -1 0 0 0
e3 0 0 1 0 -1 0 0 0
e4 0 0 -1 0 0 0 0 1
e5 0 0 0 -1 0 0 0 1
e6 0 0 0 -1 0 0 1 0
e7 0 0 0 1 0 -1 0 0

Список використаної літератури

1. С.Гудман, С.Хидемниеми «Введение в разработку и анализ алгоритмов». Изд. «Мир», М.1984.

2. Г. Кортман и др. «Алгоритм. Построение и анализ», М., С.-П, К., 2005.

3. Н. Культин, «TurboPascal в задачах и примерах», Москва, 2004.

4. Г. Майерс «Надежность програмного обеспечения», Изд. «Мир», М.1980.

5. А.И. Марченко «Программирование на языке TurboPascal 7.0. Базовый курс», М., 2004.

6. Ю.В. Нікольський, В.В. Пасічник, Ю.М. Щербина “Дискретна математика”, Київ, 2007.

7. В.С. Новиков, Н.И. Парфилова, А.Н. Пылькин «Алгоритмизация и программирование на Турбо Паскале. Учебное пособие для вузов», М., 2005.

8. Г. Рапаков «Программирование на языке Pascal», М., 2004.

9. Р.Г. Тадевосян, С.М. Арапов «Інформатика та комп’ютерна техніка», 21, 23, Вінниця, ВДАУ, 2004.

10. Р.Г. Тадевосян, В.А. Лужецький «Комп’ютер», Вінниця, 2003.

11. Р.Г. Тадевосян, В.А. Лужецький «Windows», Вінниця, 2003.