Xreferat.com » Рефераты по информатике и программированию » Доведення теоретико-математичних тотожностей і тверджень

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

align="BOTTOM" border="0" /> – другий закон Моргана.

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 i v2 – вершини, e = (v1,v2) – ребро, що їх з’єднує. Тоді вершина v1 i ребро е – інцидентні, ребро e i вершина 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
Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень Доведення теоретико-математичних тотожностей і тверджень


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


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

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

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

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

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

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

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

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

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

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

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

Размещено на /

Если Вам нужна помощь с академической работой (курсовая, контрольная, диплом, реферат и т.д.), обратитесь к нашим специалистам. Более 90000 специалистов готовы Вам помочь.
Бесплатные корректировки и доработки. Бесплатная оценка стоимости работы.

Поможем написать работу на аналогичную тему

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Нужна помощь в написании работы?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Пишем статьи РИНЦ, ВАК, Scopus. Помогаем в публикации. Правки вносим бесплатно.

Похожие рефераты: