Сервер Методического Обеспечения вгуэс
| Вид материала | Реферат |
- Дипломная работа студента 545 группы, 334.18kb.
- Т. Н. Коржавина Принципы организации службы научного и методического обеспечения колледжа, 47.35kb.
- «sql*net», 239.02kb.
- Генезис развития теории и методики программно-методического обеспечения обучения, 145.89kb.
- Прозрачный прокси сервер на базе squid, ipfw и Freebsd, 8.5kb.
- Доклад «Три кита школьного образования: стандарты, учебники, егэ», 116.02kb.
- Справка по результатам самоаттестации методического объединения учителей русского языка, 447.26kb.
- Большой Сервер Недвижимости 31. 05. 2008: программа, 1328.13kb.
- Т. Г. Римская научный редактор, к и. н., доцент, директор филиала вгуэс в г. Находке, 2476.8kb.
- Владивосток: Изд-во вгуэс, 2005., 1071.2kb.
.
Пусть .
Составим таблицу истинности для :
00000011010001101001101111001111
Значит, .
Отметим, что множество полностью определяет таблицу истинности для высказывания , так как на остальных наборах, не входящих в , .
Если , то .
Чтобы доказать равенство двух множеств, надо доказать, что они состоят из одних и тех же наборов. Возьмем набор , значит , следовательно, . По определению дизъюнкции или , то есть или , а это и означает, что .
Теперь докажем в другую сторону. Пусть . По определению объединения множеств или , то есть или , а это и значит, что , следовательно, .
Теорема доказана.
Дизъюнктивная нормальная форма называется совершенной (СДНФ), если все составляющие ее элементарные конъюнкции являются полными.
Пусть .
1. ;
2. ;
3. ;
4. .
Вторая и четвертая ДНФ являются СДНФ, а первая и третья – нет.
Пусть – высказывание, не являющееся тождественно ложным, то есть ,тогда
Пусть , где . Рассмотрим высказывание
Каждое такое высказывание является полной элементарной конъюнкцией, у которой в таблице истинности находится одна 1 на наборе , то есть , следовательно,
По теореме 4
то есть
Эта теорема и отвечает на вопрос, как по таблице истинности строится высказывание.
00010010010101111000101011001111