 |
 |
Поиск
Календарь
| « Сентябрь 2024 » | ||||||
| Пн | Вт | Ср | Чт | Пт | Сб | Вс |
| 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 | ||||||
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
 |
Понедельник, 16.09.2024, 20:58 |
| Приветствую Вас Гость | RSS | |
| Алгебра логики | Главная | Регистрация | Вход |
Лекция 7. СКНФ и СДНФ. Среди множества дизъюнктивных (равно как и конъюнктивных) нормальных форм, которыми обладает данная формула алгебры высказываний, существует уникальная форма: она единственна для данной формулы. Это так называемая совершенная дизъюнктивная нормальная форма (среди конъюнктивных форм — совершенная конъюнктивная нормальная форма). Одночлен (конъюнктивный или дизъюнктивный) от переменных X1, X2,…, Xn называется совершенным, если в него от каждой пары Xi, ¬(Xi) (i = 1, 2,…,n), входит только один представитель (Xi или ¬(Xi)). Нормальная форма (дизъюнктивная или конъюнктивная) от переменных X1, X2,…, Xn называется совершенной от этих переменных, если в нее входят лишь совершенные одночлены (конъюнктивные или дизъюнктивные соответственно) от X1, X2,…, Xn. Пример совершенной конъюнктивной нормальной формы от четырех переменных X1, X2, X3, X4: (X1∪X2∪X3∪X4 )∩((X1)∪X2∪¬(X3)∪X4)∩(X1∪¬(X2)∪¬(X3)∪X4). Способы приведения формулы алгебры высказываний к совершенной нормальной форме. Существует два способа, которые проистекают из двух способов задания формулы алгебры высказываний: с помощью таблицы ее значений или с помощью аналитической формы записи. Если формула задана таблицей своих значений, то из доказательств теорем 5.3 и 5.5 о представлении формул совершенными нормальными формами необходимо вынести формулу (в некоем обычном понимании смысла этого термина) разложения формулы алгебры высказываний в совершенную нормальную форму. |