![]() |
Модераторы: Poseidon |
![]() ![]() ![]() |
|
lrad |
|
|||
Новичок Профиль Группа: Участник Сообщений: 49 Регистрация: 20.1.2007 Где: Ленинградская обл асть Репутация: 2 Всего: 2 |
Помогите решить задачу
Упростить формулы исчисления высказываний: 1) ((-v -> s)&(-v -> -y)) -> (-v -> (s&-y)) 2) -((-q&z)&(q\/u)) 3) ((-v&s) ~ s) ~ (s -> -v) 4) (q -> (z -> u)) -> ((q -> z) -> (q -> u)) 5) ((v&s) -> -y) ~ (-v -> (s -> -y)) 6) ((q -> z)\/(q -> -p)) -> (q -> (z\/u)) 7) (y\/-v)(-s\/-v\/r)(s\/v)(-y\/-v\/s)(y\/-s\/v)(-s\/-y\/-r)(v\/r\/-y) 8) (-q\/p\/u)(-z\/q\/u)(u\/-p\/-z)(u\/q\/z)(z\/-q)(-q\/-z\/-p)(-u\/q) 9) (-v -> s) -> ((-y -> s) -> ((-v&-y) -> s)) 10) (-q\/p\/u)(u\/-z\/-p)(-u\/q)(u\/q\/z)(u\/-z\/q)(-q\/-z\/-u)(z\/-q) 11) ((-v&s) -> -y) ~ (-v -> (s -> -y)) 12) (-z\/-p\/u)(-z\/-q\/-u)(z\/u\/q)(-q\/z)(-u\/q)(-q\/u\/p)(q\/-p\/-z) |
|||
|
||||
![]() ![]() ![]() |
Правила форума "Центр помощи" | |
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Центр помощи | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |