Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Математика
        2.8.1 Математическая логика
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]
Модераторы: Roman Osipov, RKI, attention, paradise
  

Olegmath2


Полноправный участник

Просто удалите из КНФ_A те скобки, в которых есть переменная и её отрицание!

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:03 | IP
Yulya



Начинающий

ну а я что и делала)..аааа...опять неверно(((

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:06 | IP
Yulya



Начинающий

если удалить такие скобки то: (x' v z v x') * (x' v x' v z) * (y v z v x') * (y v x v z') ....

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:11 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 5 июня 2009 23:06
ну а я что и делала)..аааа...опять неверно(((


Вот ваша КНФ_А

(x' v z v z')*(x' v z v x')*(x' v x v z')*(x' v x v x')*(y v z v z')*
(y v  z v x')*(y v x v z')*(y v x v x').

Удалите из неё скобки, содержащие одновременно переменную и её отрицание одновременно! Например, в первой скобке (x' v z v z') есть z и z', значит её можно удалить! Теперь просмотрите все последующие скобки и удалите некоторые из них про приведенному принципу!


(Сообщение отредактировал Olegmath2 5 июня 2009 23:17)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:13 | IP
Yulya



Начинающий

ну  а я что щас делала : (x' v z v x')*(y v  z v x')*(y v x v z')  

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:17 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 5 июня 2009 23:17
ну  а я что щас делала : (x' v z v x')*(y v  z v x')*(y v x v z')  



Вот теперь правильно! Дальше, если в какой-то скобке встречается переменная дваджы, то оставляем только одну из них! Например: (a v b v b) = (a v b);
(n' v k v n') = (n' v k)


(Сообщение отредактировал Olegmath2 5 июня 2009 23:24)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:23 | IP
Yulya



Начинающий

(x' v z)*(y v  z v x')*(y v x v z')

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:26 | IP
Yulya



Начинающий

что дальше?)

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:35 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 5 июня 2009 23:26
(x' v z)*(y v  z v x')*(y v x v z')



Верно! Теперь нужно сделать так, чтобы в каждой скобке присутствовали все переменные, которые содержит формула A. (x, y и z).

Пример: Не хватает переменной c!

(a' v b') = (a' v b' v 0) = (a' v b' v (c *c'))=(a' v b' v c)*(a' v b' v c')



(Сообщение отредактировал Olegmath2 5 июня 2009 23:36)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:35 | IP
Yulya



Начинающий

так: (x' v y v  z) * (x' v y' v  z) *(y v  z v x') * (y v x v z') ?

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:40 | IP

Отправка ответа:
Имя пользователя   Вы зарегистрировались?
Пароль   Забыли пароль?
Сообщение

Использование HTML запрещено

Использование IkonCode разрешено

Смайлики разрешены

Опции отправки

Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да   Нет
 

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]

Форум работает на скрипте © Ikonboard.com