summaryrefslogtreecommitdiff
path: root/zvt2s4.md
diff options
context:
space:
mode:
authorLibravatar Mora Unie Youer <mora_unie_youer@riseup.net>2026-07-20 19:14:22 +0300
committerLibravatar Mora Unie Youer <mora_unie_youer@riseup.net>2026-07-20 19:14:22 +0300
commit902f9aa4c18c07969ca085bd4e0b719907d3a6c1 (patch)
tree4ba28299ba170526437422fc48cde1b251ef8e5f /zvt2s4.md
parentsnapshot: 2026-07-17 (diff)
downloadzk-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 'zvt2s4.md')
-rw-r--r--zvt2s4.md36
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)