diff options
| author | 2026-07-20 19:14:22 +0300 | |
|---|---|---|
| committer | 2026-07-20 19:14:22 +0300 | |
| commit | 902f9aa4c18c07969ca085bd4e0b719907d3a6c1 (patch) | |
| tree | 4ba28299ba170526437422fc48cde1b251ef8e5f /zvt2s4.md | |
| parent | snapshot: 2026-07-17 (diff) | |
| download | zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.gz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.bz2 zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.lz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.xz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.zst zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.zip | |
snapshot: 2026-07-20
Diffstat (limited to '')
| -rw-r--r-- | zvt2s4.md | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/zvt2s4.md b/zvt2s4.md new file mode 100644 index 0000000..ef8ad2b --- /dev/null +++ b/zvt2s4.md @@ -0,0 +1,36 @@ +--- +id: zvt2s4 +date: 2026-07-20T15:34:37+0300 +languages: [ru] +aliases: + +reviews: + +tags: +- draft +- knowledge +--- +# Реализация логических функций в заданном базисе + +Реализация логических функций в заданном базисе - это представление логической функции с +использованием только тех логических элементов, которые входят в выбранный базис. + +Базис - это набор логических операций, с помощью которых можно реализовать любую функцию алгебры логики. +Наиболее распространённые базисы: +1. Основной (И, ИЛИ, НЕ) +2. Базис И-НЕ (NAND, функция Шеффера) +3. Базис ИЛИ-НЕ (NOR, функция Пирса) + +Каждый из этих базисов является функционально полным - в рамках каждого из них можно реализовать +любую ФАЛ. + +Так как базисы И-НЕ и ИЛИ-НЕ являются функционально полными, это означает, что с их помощью можно +реализовать функции И, ИЛИ, НЕ. А это означает, для реализации любой ФАЛ в одном из этих базисов +можно сначала реализовать функцию в основном базисе, а далее преобразовать их в базис И-НЕ/ИЛИ-НЕ. + +На практике делают следующим образом: +- Для И-НЕ функцию выполняют в форме ТДНФ, далее преобразовывая с помощью правила де Моргана +- Для ИЛИ-НЕ функцию выполняют в форме ТКНФ, далее преобразовывая с помощью правила де Моргана + +## Up +- [Алгебра логики](c5oolf) |
