Еквивалентно преобразуване - превръщане се използват еквивалентни съотношения и правило смяна.
Две правила за подмяна:
1. Регламент с формула е заместване на променливата х. Чрез заместване на формулата за променливата х е всички случаи на X в първоначалното съотношение трябва да бъде едновременно заменя формула е.
2. Подмяна Правило subformulae. Ако някоя формула е. описващ функция # 966;. съдържа f1 като подформула, заместител на еквивалент f1 f2 (f1 = f2) не променя функцията # 966; ,
основен еквивалент съотношение (закони) в Булева алгебра.
Асоциативност на връзка и дизюнкция:
Commutativity на връзка и дизюнкция:
Distributivity връзка по отношение на разделяне:
Distributivity относно връзката на разделяне:
Законът на двойното отрицание:
Свойства на константите 0 и 1:
Де Морган правила:
Законът на изключени средата:
Основният еквивалентното съотношение на (1) - (10) се характеризират с това, че те са се извлече един от друг и тези съотношения достатъчни за извършване на всички еквивалентни трансформации.
За да се опрости формули както следната еквивалентни съотношения изхода от сърцевината посредством еквивалентни трансформации:
Събирането на разделителния нормална форма.
Елементен връзка - с връзка на променливите или техните отрицания, в която всяка променлива се появява повече от веднъж.
Разделителен нормална форма (DNF) - формула като формата на елементарен дизюнкция на съюзи.
Събирането формулата за DNP се извършва в 4 етапа:
1. всички отрицание "дърпане" на променливите чрез (6) и (8);
2. да разкрие конзолите чрез (1) до (3), (4);
3. отстраняване на излишната връзка и променливи на рецидиви на съюзи с помощта на (5), (9), (10);
4. Отстранете константи чрез (7).
процедура задействане на DNP е PDNF разцепване (с използване на (12) в обратна посока) съюзи, които не съдържат всички променливи.
Събирането на съединителната нормална форма.
Елементарно дизюнкция - разделяне на променливите или техните отрицания, в която всяка променлива се появява повече от веднъж.
Съединителната нормална форма (CNF) - елементарни съвпад дизюнкции.
Нека DNF F има форма F = к1 Úk2 Ú...Úкм. където k1, k2, ..., км - елементарни съюзи. Привеждане DNF да CNF се състои от две стъпки:
1. Нанесете върху F правило двойно негативно и да доведе до DNF к ¢ 1 Ú к ¢ 2 Ú... к ¢ стр ¢ 1, където к Ú к ¢ 2 Ú... к ¢ P - начално съюзи. след това
2. Използвайте правилата да се отървете от де втори отказ и отрицание на Морган трансформира елементарни съюзи в началното дизюнкция D1, D2, ... Dp Тогава
Perfect CNF (SKNF) - CNF, където всеки елементарен дизюнкция съдържа всички променливи.
Свързани статии