-Поиск по дневнику

Поиск сообщений в NeoLucifer_Community

 -Подписка по e-mail

 

 -Постоянные читатели

 -Статистика

Статистика LiveInternet.ru: показано количество хитов и посетителей
Создан: 19.04.2008
Записей: 15
Комментариев: 8
Написано: 23


Правило де Моргана

Вторник, 22 Апреля 2008 г. 21:47 + в цитатник
все записи автора !1+1=1
!1*(!1+1)=!1*1
!1=0
аналогично
!0=1

Ну допустим..
x*y=0
x+y=1

x*y=x*!x [9]
x*y+!x=x*!x+!x // если !x≠1, поскольку это не тождество, а уравнение
x*y+!x=!x [16]
x*y+!x*!y+!x*y=!x [7,10,13]
y+!x*y=!x [7,10,13]
y=!x [16]
// если !x=1, "y" из первого уравнения неопределен

// если все же !x=1
x+y=1
x=0
y=1
y=!x

y=!x не противоречит x+y=1, значит:
x*y=0 & x+y=1 -> y=!x


Собственно, де Морган..
x*y*(!x+!y)=0
x*y+(!x+!y)=1

следовательно
x*y=!(!x+!y)

Доказательство непонятно откуда взявшегося предположения, но не следствие аксиом в прямом виде..

 

Добавить комментарий:
Текст комментария: смайлики

Проверка орфографии: (найти ошибки)

Прикрепить картинку:

 Переводить URL в ссылку
 Подписаться на комментарии
 Подписать картинку