2.1.4. Представянето на отчети
1. Форма A1ÚA2Ú,ÚAN. където Ai - начално изявление или отричане на елементарни изказвания (буквално), се нарича основно дизюнкцията.
2. Форма В1 х В2 х. Х Вп. където Bi - буквално, нарича основно съюза.
3. Форма D1 х D2 х. Х Dn. където Dj - начално дизюнкция се нарича конюнктива нормална форма (CNF).
4. Форма К1ÚK2Ú,ÚКн. където Kj - елементарен връзка се нарича разделителния нормална форма (DNF).
Винаги вярно (на всеки набор от стойности на съставните й елементарни предложения) комплекс предложение се нарича тавтология.
Винаги невярно (на всеки набор от стойности на съставните й елементарни предложения) отчет се нарича противоречие.
Perfect CNF (SKNF), наречена CNF такава, че всеки член на началното си дизюнкция съдържа всички елементарни предложения пряко или инверсия строго веднъж. Не се повтаря дизюнкции. Всеки комплекс изявление, с изключение на тавтология има един SKNF.
Perfect DNF (PDNF), наречена DNP, така че всеки член на началното си връзка съдържа всички елементарни предложения пряко или инверсия строго веднъж. Не са повтарящи се съюзи. Всеки комплекс изявление, но спор има само PDNF.
2.1.5. отчети за преобразуване
Сложна изказване представена в произволна форма от equipollences между 11 и 16, както и с закони Де Морган може да се превърне в нормална форма.
Преобразуване в CNF SKNF.
Схематично, човек може да си представим, че основната идея на конверсия, както следва:
Превръщането на DNP в PDNF.
Схематично, човек може да си представим, че основната идея на конверсия, както следва:
Преобразуване PDNF в SKNF.
Да разгледаме следния пример:
Вземете логика функция F на (комплекс изречение) в PDNF и изграждане на отричане на тази функция, т.е.. Д. функция производств, вписвайки долният Всички съставни единици, които не е.
Нека формата
Мнемоника устройство - броят дължи на съставките, които се получават, ако да направи преглед на съставките като двоични числа.
Отрицание функция на оформяне се набави липсващата избиратели (липсва двоични числа).
Сега прилага отрицание на функцията.
Свързани статии