Формите на логически функции
същата логика Функцията може да се запише по различни начини. Например, функция F на (
Еквивалентни изрази лесно проверени чрез заместване в тях стойностите на
Основно се нарича връзка, която включва само променливите и техните отрицания.
Наречен елементарна дизюнкция, което е логично сума на променливите и техните отрицания.
В елементарни съюзи (дизюнкции) не могат да включват същите променливи и променливи с техните отрицания. Такова разделяне (връзка), трябва да се преобразува. Въпреки това, те са опростени и се превръща в 0 или 1.
Реализации коректност може да бъде проверено чрез заместване на стойностите на променливите. Елементарно връзка (дизюнкция) може да има ранг равен на броя на променливите във връзка (дизюнкция). Понятия за елементарни съюзи и дизюнкции позволяват достатъчно лесно да се определи разделителния и съединителната форми на запис логически функции.
Разделителен нормална форма (DNF) - форма, в която функция логика е представен като дизюнкция на съюзи елементарен например: F =
Функциите на изразите (1) и (2) е също записани в DNF.
Съединителната нормална форма (CNF) е форма, в която функция е представена като дизюнкция на връзка на елементарен пример: F = (
Използването на нормална форма не премахва напълно неяснотата на запис логически функции. Например, функцията (4) може да се запише като израз:
Ето защо, наред с обичайните форми се отличават, при които функцията е писано по уникален начин. Те се наричат перфектно. Нанесете isovershennaya перфектни дизюнктивен съединителната нормални форми (PDNF и SKNF). Форми и PDNF SKNF имат две отличителни черти:
всички елементарни съюзи и дизюнкции имат един и същи ранг;
в елементарни съюзи (дизюнкции) включва всички променливи или тяхната отрицание, с което функцията зависи.
Функция (5) съдържа съюзът на еднакви, но записана в DNF, но не и в PDNF. Това се дължи на факта, че елементарните съюзи не съдържат всички променливи или техните отрицания, от които зависи функцията.
F функцията (
Функция PDNF и SKNF обикновено написана на истината маси съответствие с определени правила.
1 .Pravilo PDNF функция за запис истина маса:
За всички групи от променливи, на която функция може да отнеме една стойност, пише съюзът, обръщане на променливите, които отговарят на нулеви стойности. След това свържете съчетание на дизюнкция знаци.
Например, функция логика е дадена таблица истина е показано на фиг. 9а. За комплект 3, 5, 6, 7 чрез разликата на записване връзка:
Пространствата ще се постави знака на прекъсване на връзки и да получат функция в PDNF, т.е. F (
Свързани статии