Форум: "Прочее";
Текущий архив: 2006.12.31;
Скачать: [xml.tar.bz2];
Вниз
Штрих Шеффера (NAND) Найти похожие ветки
← →
Петров-Пивкин (2006-12-14 00:43) [0]Привожу булеву функцию к такому виду, где используется только штрих Шеффера. Получается довольно громоздкая вещь. Решил поискать про операции со штрихом Шеффера. Нашёл такое:
http://www.intuit.ru/department/hardware/archsys/5/3.html
Беспокоит вот это:
________
x1 | x2 | . . . | xn = x1x2...xn
Разве это правда?
Возьмём ведь x1 | x2 | x3 = not(x1 & x2 & x3)
(x1 | x2) | x3 = not((x1 & x2) & x3)
При x1 = 0 и x2 = 1 мы получаем неверное равенство. Так что имелось ввиду? Они там так лихо переводят ДНФ в форму со штрихом Шеффера. Или я туплю?
← →
Чапаев © (2006-12-14 01:05) [1]> Разве это правда?
Нет. По правилу де Моргана a|b = - ((-a)&(-b))
Cсылку щас посмотрю...
← →
Чапаев © (2006-12-14 01:07) [2]Похоже, по ссылке просто не все символы в браузере отображаются. Что имел в виду автор, можно только догадываться.
← →
Петров-Пивкин (2006-12-14 01:07) [3]Извиняюсь, я обозначил штриъ Шеффера как в той статье, не путайте с or.
← →
Чапаев © (2006-12-14 01:16) [4]> (x1 | x2) | x3 = not((x1 & x2) & x3)
(x1 | x2) | x3 = not (not (x1 & x2) & x3)
Страницы: 1 вся ветка
Форум: "Прочее";
Текущий архив: 2006.12.31;
Скачать: [xml.tar.bz2];
Память: 0.45 MB
Время: 0.044 c
