| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [математическая логика ]Упростить формулы исчис-я |
| Автор: lrad 11.5.2008, 20:23 |
| Помогите решить задачу Упростить формулы исчисления высказываний: 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) |