| Предыдущая тема :: Следующая тема |
| Автор |
Сообщение |
spring_star
Зарегистрирован: 14.04.2008
Сообщения: 2
Откуда: spring_vbg
|
 Добавлено: Пн Апр 14 2008 13:29 Заголовок сообщения: математическая логика |
 |
|
Объясните пожалуйста, кто-нибудь как это решать!!!
Упростить формулу исчисления высказывания:
(-y\/u)(-q\/y\/-z)(y\/q\/u)(z\/u\/-q)(-q\/-y\/-u)(-u\/q)(-u\/-z\/y)
где
- это отрицание,
\/ это дизъюнкция
_________________
Ваша весенняя звездочка |
|
| Вернуться к началу |
|
 |
zp040269kal
Зарегистрирован: 24.07.2008
Сообщения: 3
|
| Добавлено: Чт Июл 24 2008 17:25 Заголовок сообщения: Re: математическая логика |
|
|
| spring_star писал(а): | Объясните пожалуйста, кто-нибудь как это решать!!!
Упростить формулу исчисления высказывания:
(-y\/u)(-q\/y\/-z)(y\/q\/u)(z\/u\/-q)(-q\/-y\/-u)(-u\/q)(-u\/-z\/y)
где
- это отрицание,
\/ это дизъюнкция |
Скобки раскрываются как при умножении.
(-y\/u)(-q\/y\/-z)=-v^-qV-y^yV-y^zVu^-qVu^yVu^-z
^-коньюнкция. -y^y = 0.
удачи. |
|
| Вернуться к началу |
|
|
spring_star
Зарегистрирован: 14.04.2008
Сообщения: 2
Откуда: spring_vbg
|
| Добавлено: Пт Июл 25 2008 10:41 Заголовок сообщения: |
|
|
огромнейшее спасибо, только я уже сама разобралась и все решила!!! еще раз спасибо!!! 
_________________
Ваша весенняя звездочка |
|
| Вернуться к началу |
|
|
|
FAQ 
Поиск 
Пользователи 
Группы
Регистрация
Профиль 
Войти и проверить личные сообщения 
Вход 
