![]() |
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
![]() |
18192123 |
![]()
Сообщение
#1
|
![]() Профи ![]() ![]() ![]() ![]() Группа: Пользователи Сообщений: 920 Пол: Женский Реальное имя: Марина Репутация: ![]() ![]() ![]() |
Помогите доказать следующие теоремы:
1. если формула имеет совершенную дизъюнктивную форму, то такая форма единственна. Вот мои соображения: пусть формула фи имеет 2 различные формы: СДНФ1 и СДНФ2. пусть некая элементарная конъюнкция СДНФ1 не содержится в сДнф2. Дальше ... не знаю....наверное задать литералам (элементарным высказываниям или их отрицаниям), вход. в эту элементарн. конъюнкцию, какие-то значения..... ??? 2. Доказать, что тождественно-истинная и тождественно-ложная фомулы не имеют совершенных форм. Мне кажется, что исходить нужно из того, что каждый литерал ( элементарное высказывание или его отрицание) входит по 1 разу в элементарн. дизъюнкцию или конъюнкцию..... Сообщение отредактировано: 18192123 - 9.04.2007 18:33 |
![]() ![]() |
![]() |
Текстовая версия | 21.06.2025 20:31 |