Форум: "Потрепаться";
Поиск по всему сайту: delphimaster.net;
Текущий архив: 2002.04.22;
Скачать: [xml.tar.bz2];




Вниз

логика не фурычит...черта Шеффера 


Knight   (2002-03-14 19:12) [0]

есть такая бадейка - Черточка Шеффера - |
кто подскажет, как с её помощью и спомощью XOR, NOT, OR, AND изобразить выражения A OR B, A XOR B, A -)B (типа А и Пол-овала В)?
Помогите, кто знает? ПРосто не въезжаю! остальные нашёл, эти не идут...
С уважением Knight.



Иван Шихалев   (2002-03-14 19:26) [1]

A | B <=> (NOT A) AND (NOT B)

Это так для уточнения, а то вдруг я гоню.

NOT A <=> A | A
A AND B <=> (A | A) | (B | B)
A OR B <=> (A | B) | (A | B)
A XOR B <=> (A OR B) AND NOT (A AND B) <=> ... разворачивается из предыдущих.


А что такое половала, я не знаю.



Knight   (2002-03-14 19:34) [2]

половала по англ. implication



Иван Шихалев   (2002-03-14 19:35) [3]

И еще. Плелесть черты Шеффера как раз в том, что с помощью ее одной можно выразить любые логические операции.



Иван Шихалев   (2002-03-14 19:37) [4]

A => B <=> A OR (NOT B)

Дико извиняюсь, но разворачивать мне в лом :)



Knight   (2002-03-14 19:38) [5]

И если моно то ещё A = B типа equivalence я его только при помощи ОR и XOR сделал...

А про прелесть я вкурсе...



Иван Шихалев   (2002-03-14 19:39) [6]

A = B <=> NOT (A XOR B)



Knight   (2002-03-14 19:45) [7]

Большое человеческое спасибо!!!
С уважением Knight.



knight   (2002-03-15 09:34) [8]

Странно, у меня такое чувсство, что то что вы дали за Or & AND - одно и тоже...во всяком случае у меня так вышло... есть ли другой вариант?



Alx2   (2002-03-15 10:36) [9]

>логика не фурычит...черта Шеффера
Вы кого, простите, чертом назвали? :)



Иван Шихалев   (2002-03-15 11:01) [10]

Внимательней нужно. Там все правильно, хотя и похоже.



Knight   (2002-03-15 12:20) [11]

2 Alx2
Шеффера, кого же ещё!!!:))
2 Иван Шихалев
Спасибо большое, въехал!!!
С уважением Knight.




Форум: "Потрепаться";
Поиск по всему сайту: delphimaster.net;
Текущий архив: 2002.04.22;
Скачать: [xml.tar.bz2];




Наверх





Память: 0.73 MB
Время: 0.021 c
3-69729           kserg@ukr.net         2002-04-01 12:40  2002.04.22  
Кто пользуется (и соот-но установил) в Делфи TStatusBarPro ?


3-69737           alexandervasjuk       2002-03-14 12:30  2002.04.22  
Отображение JPEGа, хранящегося в базе


1-69932           inko                  2002-04-09 15:46  2002.04.22  
Значок программы в диалоге.


3-69703           KonuhovSegey          2002-03-30 09:53  2002.04.22  
Кто знает подробности о SQL Dialect в IB6


1-69902           wHammer               2002-04-09 13:56  2002.04.22  
TAB