Штрих Шеффера (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.

> (x1 | x2) | x3 = not((x1 & x2) & x3)
(x1 | x2) | x3 = not (not (x1 & x2) & x3)

Штрих Шеффера (NAND) Найти похожие ветки