Форум: "Потрепаться";
Текущий архив: 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.
Страницы: 1 вся ветка
Форум: "Потрепаться";
Текущий архив: 2002.04.22;
Скачать: [xml.tar.bz2];
Память: 0.46 MB
Время: 0.006 c