-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path1.4.html
46 lines (38 loc) · 4.51 KB
/
1.4.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
<!DOCTYPE html>
<html lang="ru">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Нормальные и совершенные нормальные формы</title>
<link rel="stylesheet" href="./css/index.css">
</head>
<body>
<div class="container">
<h1>Нормальные и совершенные нормальные формы</h1>
<div class="navigation-buttons">
<a href="1.3.html" class="button">⬅ Назад</a>
<a href="1.5.html" class="button">Вперёд ➡</a>
</div>
<p>В логике существуют различные способы представления логических функций, позволяющие упростить их выражение и анализ. Основные формы — это <span class="highlight">дизъюнктивные</span> и <span class="highlight">конъюнктивные</span> формы, каждая из которых имеет нормальные и совершенные нормальные варианты.</p>
<h2>Нормальная дизъюнктивная форма (НДНФ)</h2>
<p><strong>Нормальная дизъюнктивная форма</strong> представляет логическую функцию как дизъюнкцию (логическое ИЛИ) нескольких конъюнкций (логическое И) переменных и их отрицаний. Например:</p>
<code>(A ∧ B) ∨ (¬A ∧ C)</code>
<p>Каждая конъюнкция в НДНФ называется <em>элементарной конъюнкцией</em> и объединяет значения переменных или их отрицаний.</p>
<h2>Совершенная дизъюнктивная нормальная форма (СДНФ)</h2>
<p><strong>Совершенная дизъюнктивная нормальная форма</strong> (СДНФ) — это НДНФ, в которой присутствуют все возможные сочетания переменных, при которых функция принимает значение <code>1</code>. Каждая конъюнкция в СДНФ называется <em>минтермом</em> и охватывает все переменные (или их отрицания) функции. Пример:</p>
<code>(A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ C)</code>
<h2>Нормальная конъюнктивная форма (НКНФ)</h2>
<p><strong>Нормальная конъюнктивная форма</strong> представляет логическую функцию как конъюнкцию (логическое И) нескольких дизъюнкций (логическое ИЛИ) переменных и их отрицаний. Например:</p>
<code>(A ∨ B) ∧ (¬A ∨ C)</code>
<p>Каждая дизъюнкция в НКНФ называется <em>элементарной дизъюнкцией</em> и объединяет значения переменных или их отрицаний.</p>
<h2>Совершенная конъюнктивная нормальная форма (СКНФ)</h2>
<p><strong>Совершенная конъюнктивная нормальная форма</strong> (СКНФ) — это НКНФ, в которой присутствуют все возможные сочетания переменных, при которых функция принимает значение <code>0</code>. Каждая дизъюнкция в СКНФ называется <em>макстермом</em> и охватывает все переменные (или их отрицания) функции. Пример:</p>
<code>(A ∨ B ∨ ¬C) ∧ (¬A ∨ B ∨ C)</code>
<h2>Заключение</h2>
<p>Нормальные и совершенные нормальные формы представления логических функций позволяют стандартизировать выражения и облегчают их анализ и минимизацию. СДНФ и СКНФ, как совершенные формы, дают полное описание логической функции, тогда как НДНФ и НКНФ могут быть упрощенными.</p>
</div>
<div class="navigation-buttons">
<a href="1.3.html" class="button">⬅ Назад</a>
<a href="1.5.html" class="button">Вперёд ➡</a>
</div></body>
</html>