Скачать: CL | DM;

Штрих Шеффера (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 вся ветка

Скачать: CL | DM;



Память: 0.45 MB
Время: 0.05 c