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

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

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

Yulya



Начинающий

что дальше?)

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


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

Да, всё верно! Теперь у вас получается так:

A=((x' v z) * (x' v x) * (y v z) * (y v x)) V (z' * x').

Теперь ещё раз раскройте скобки, стоящие до и после дизъюнкции (это дизъюнкция выделена большим знаком)! Запишите, что у вас получится!


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


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

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



Начинающий

ой.как все сложно))))

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



Начинающий

я туплю.....как мне их раскрыть.....по какому закону..дистрибутивному что ли...или поглощение...аааааааааа

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


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


Цитата: Yulya написал 5 июня 2009 22:20
ой.как все сложно))))


А вот и не сложно! Могу показать пример! Смотрите!

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

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


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

-----
Мой ICQ: 570-905-417

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



Начинающий

вот так вышло : (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')   правильно?

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


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

Ага! Всё правильно! То, что вы сейчас записали, это и есть КНФ_А.

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



Начинающий

ого какая она большая)ну и что дальше с ней делать..надо ж еще скнф....ужассс...__))

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


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

Теперь немного упростим полученную КНФ_А.
Если какой-то логический множитель содержит переменную и её отрицание, то его можно удалить из КНФ_А. Пример:

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

=(b v 1)*(a v b v c') = 1*(a v b v c') =(a v b v c').


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

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



Начинающий

что-то типа такого : x'*x*z'*x'*y* (x' v y v z) * ( x v y z') ??

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

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

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

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

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

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

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

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

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