Guest
Новичок
|
   
помогите пожалуйста надо упростить (x V y V z V u) ^ (x V y V u) ^ (xVz)
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 25 марта 2006 17:33 | IP
|
|
miss_graffiti
Долгожитель
|
  
я так понимаю, что V - дизъюнкция, ^ - конъюнкция.
тогда, чтобы ф-ция была равна 1, каждый из результатов в скобках должен быть равен 1.
очевидно, что, если во второй и третьей скобке получится 1, то и в первой будет 1, а если во второй или третьей 0 - независимо от первой в итоге получится ноль.
имеем
(x V y V u) ^ (xVz)
1) x=1 результат равен 1
2) y или u = 1 и z=1 результат равен 1.
получаем
x V (z^(yVu))
...вроде нигде не ошиблась
|
Всего сообщений: 670 | Присоединился: сентябрь 2005 | Отправлено: 25 марта 2006 17:56 | IP
|
|
Guest
Новичок
|
паасибкИ)))
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 25 марта 2006 18:10 | IP
|
|
Guest
Новичок
|
тока зачем цель такая тогда, чтобы ф-ция была равна 1
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 25 марта 2006 18:13 | IP
|
|
miss_graffiti
Долгожитель
|
ну хочешь - сделай целью, чтобы она была равна 0... мне просто 1 больше нравится.
|
Всего сообщений: 670 | Присоединился: сентябрь 2005 | Отправлено: 25 марта 2006 19:06 | IP
|
|
Guest
Новичок
|
нет а зачем вообще какая то цель я не понимаю наерн механизм упрощения да
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 25 марта 2006 19:08 | IP
|
|
miss_graffiti
Долгожитель
|
ну... вообще можно упрощать по готовым формулам, но у меня их, к сожалению, нет под рукой - а так не помню.
поэтому просто подбираем эквивалентную функцию - то есть такую, у которой таблица истинности совпадает с данной. соответственно, делаем так, чтобы совпали единицы - а все остальное будет нулями.
|
Всего сообщений: 670 | Присоединился: сентябрь 2005 | Отправлено: 25 марта 2006 19:19 | IP
|
|
Guest
Новичок
|
понятн спс)
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 25 марта 2006 19:23 | IP
|
|
|
|
Форум
логика опять
