Изменения

Перейти к: навигация, поиск

Контактная схема

107 байт добавлено, 21:38, 15 октября 2014
Построение контактных схем
==Построение контактных схем==
===Представление одного из базисов в контактных схемах===
Любую булеву функцию можно представить в виде контактной схемы. Для этого необходимо привести её к ДНФ или КНФ, а затем построить, используя комбинации 3 логических элементов:
* '''====Конъюнкция''' ==== [[Файл:multiply.png | 200px | right | Конъюнкция]]
Результат конъюнкции равен <tex>1</tex> тогда и только тогда, когда оба операнда равны <tex>1</tex>. В применении к контактным схемам это означает, что
последовательное соединение полюсов соответствует операции конъюнкции.
* '''====Дизъюнкция''' ==== [[Файл:disjunction.png | 200 px | right | Дизъюнкция]]
Результат дизъюнкции равен <tex>0</tex> только в случае, когда оба операнда равны <tex>0</tex>. Несложно догадаться, что в контактных схемах эта операция соответствует параллельному соединению полюсов.
* '''====Отрицание''' ====
Отрицание - это унарная операция, поэтому, чтобы показать её на контактной схеме достаточно написать над контактом знак отрицания.
=== Примеры построения некоторых функций ===
* '''====Xor''' ==== [[Файл:xor.png |200 px| right| xor]]
<tex>x \oplus y = (\neg x \land y) \lor (x \land \neg y)</tex>
* '''====Медиана трех''' ==== [[Файл:median.png |200 px| right| медиана]]
<tex> \langle x,y,z \rangle = (x \land y) \lor (x \land z) \lor (y \land z) \lor (x \land y \land z) = (x \land y) \lor (x \land z) \lor (y \land z)</tex>

Навигация