Главная Вход в систему Регистрация
Задать вопрос Консультации Пользователи Форум
О системе Помощь
Задать вопрос экспертам
Консультация № 173511
21.10.2009, 15:07
0.00 руб.
0 1 0
Образование
Экспрты, упростите пожалуйста выражения, с помощью законов логики.

FileSize: 43KB
Link: http://ft.fay.by/get3.php?id=200910211427520509e2
FileType: JPG

Обсуждение

Неизвестный
22.10.2009, 10:30
общий
a V b -> a = ~(a V b) V a = ~a ^ ~b V a = (~a V a) ^ (~b V a) = ~b V a = b->a
(a V b) -> (a V ~b V ~a -> b) = (a V b) -> (~b -> b) = (a V b) -> b = a->b (по первой формуле)
(a ^ ~b) -> (b ^ ~a -> c) = ~(a ^ ~b) V (~(b ^ ~a) V c) = (~a V b) V ((~b V a) V c) = ~a V b V ~b V ~a V c = c
(a ^ ~b) -> (b ^ ~a -> ~c) = ~(a ^ ~b) V (~(b ^ ~a) V~ c) = (~a V b) V ((~b V a) V ~c) = ~a V b V ~b V ~a V ~c =~ c
(a <-> ~b) -> (~(a V b) ^ ~c) = ~(a <-> ~b) V (~(a V b) ^ ~c) = (a <-> b) V (~a ^ ~b ^ ~c) = (a ^ b) V (~a ^ ~b) V (~a ^ ~b ^ ~c) = (a ^ b) V (~a ^ ~b) = a<->b
~(~(a V b) -> ~(a ^ b)) = ~((a V b) V (a V ~b)) = ~a

Форма ответа