двойна функция
Тази тема принадлежи на форума:
Комплектът е набор от различими обекти, определени nnyh М е такова, че за всяка възможна набор принадлежи настоящето обект. Множество от обикновено обозначени с главни латински букви и елементи. Например.
Какво да правим с получения материал:
Всички теми на този раздел:
характеристика функция
Вътрешният индикатор funktsiyaili показва елементи, принадлежащи към набор (или определени). Характерните функция е празна
графичен доказателство
За да се построи графичен доказателства, необходими за изготвяне на диаграмата на Ойлер-Вен всички набори на самоличността по начин, който би ги взеха участие всички възможни кръстовища,
Връзки.
п-мерното връзка R на комплекта е подмножество на директен продукт. Ако наборите са едни и същи, тогава ние казваме, че наборите п-мерното отношения. Когато п = 2 за
Празен връзка.
Операции на връзката: Преминаване Допълнение Комбинирането на произведението: обратна връзка с R:
логика алгебра
Алгебрични система (алгебра) - пара
Формулите на алгебра на логиката.
Атомни изявления са обозначени с малки букви и се наричат Пропозиционални (или булеви) променливи. Формулите на алгебра на логиката, наречени Пропозиционални формула. формула yavl
истина маса.
Булева стойност се определя от формулата, дадена логическите стойности на неговите страни елементарни отчети. Пример. X1 = 1, х2 = 1, x3 = 0. Определя се стойността на формула
Еквивалентно формула
Две формули на алгебра на логиката, наречени равнопотенциални ако те вземат същите логическите стойности за всеки набор от стойности на елементарни твърдения, включени в
Основна идентичност (в размер формула) алгебра логика.
хÙY = YÙX; хÚY = YÚх - х пътуванияÙ(уÙщ) = (хÙу)ÙZ; хÚ(уÚщ) = (хÚу) ÚZ; - сътрудник
двойна функция
функция ж (х1. Xn) = ¬f (¬x1. ¬xn) се нарича двойна функция на функция е и е означен с е *.
Пълна система функции (сухожилия).
Системата на функции е пълно, ако всяко п-матрични булева функция могат да бъдат написани като Пропозиционални формула използват само функции, включени в системата. системи
Дизюнктивен и съединителната нормални форми.
Елементен връзка се нарича връзка на Пропозиционални променливи и (или) техните отрицания. Например: елементарни dizyunktsieynazyvaets
Теорема на идентично истинските формули на алгебра на логиката.
За булева формула е идентичен на истината, е необходимо и достатъчно всеки елементарен дизюнкция неговите съединителната нормални форми съдържа поне един E
На теоремата на формула Boolean на идентичност лъжа
За булева формула е идентичен с фалшива ако и само ако всяка от елементарен връзка DNP съдържа поне един елементарен променлив vyskazyv
Идеално нормална форма.
Perfect разделителен нормална форма. Елементен връзка се нарича правилното ако всяка променлива се появява повече от веднъж,
Изграждане и PDNF SKNF.
Строителство PDNF: 1. Конвертиране на входния формулата в DNF (виж по-горе): Стъпка 1. Конвертиране на еквивалентната оригинална формула съзнанието й
Превръщането на DNP в PDNF.
Етап 3. Ако DNF има няколко идентични елементарни съюзи, ние оставя само един - тази трансформация води до еквивалентна формула. защото xVx = х.
Преобразуване в CNF SKNF.
Стъпка 3. Ако CNF има няколко идентични елементарни дизюнкции. ние оставя само един - тази трансформация води до еквивалентна формула, ненужно. хх = х.
Изграждане напълно нормална форма с помощта на истината маси
За да се построи PDNF SKNF или въз основа на теоремата на разлагането на логически функции на наш променливи алгебра над к променливи (к = н), можете да използвате истината таблици. за изграждане на
Изграждане на перфектен конюнктива нормална форма.
Нека някои Булева функция на наш променливи. Помислете за отричането на функциите и. тъй като полученият формула булева формула след това се разшири п променливи. получавам
Тавтологии и противоречия. Проблемът на платежоспособността на алгебра на логиката. Логическите последици.
Булева формула се нарича вярно идентичност, или обикновено валиден тавтология ако получи стойността 1 N
Теорема на идентично истинските формули на алгебра на логиката.
За булева формула е идентичен на истината, е необходимо и достатъчно всеки елементарен дизюнкция неговите съединителната нормални форми съдържа поне един E
На теоремата на формула Boolean на идентичност лъжа
За булева формула е идентичен с фалшива ако и само ако всяка от елементарен връзка DNP съдържа поне един елементарен променлив vyskazyv
Теоремата на логичната последица
Формулата на булевата е е логично следствие от Формула булева д, тогава и само тогава г е. Доказателство.
Основна схема доказателство
Фигура 1: "Ако х е у» Доказателство за теореми като "ако X, тогава у". Описание на доказателството се основава на следните логически последици.
Минимизиране на булеви функции. В каноничен формулирането на проблем минимизиране. етапи за минимизиране. минимизиране на техники.
Минимизиране на функциите на алгебра на логиката (PAL) - процедура за намирането на най-простото представяне на ЗРА като суперпозиция на функциите, които съставляват Fun
методи за минимизиране
Тя в момента е широко прие: 1. Метод на изчисление (метод за незабавни реформи). 2. Метод парични маса (метод Quine-McCluskey). 3. Met
етапи минимизират
Обикновено, минимизиране FAL дефинирани в процедури PDNF изисква следните три етапа: 1 етап - на прехода от кондензиран към PDNF DNP (SokrDNF). SokrDNF - форма на членовете FAL да
предикат смятане
Най-широко се използват в системите с изкуствен интелект е получил официална система, носеща името на предикатното смятане от първи ред (STI). Азбука STI състояща
Стойността на формула предикатното логика.
От логическа стойност на предикатна логика формули могат да говорят само когато даден набор от M, които са определени в тази формула предикати. Булева предикат логика стойност с формула
Описание машина Тюринг
Специфична машина Тюринг е зададен в списъка по азбучен ред набор от елементи А, зададената Q на държавите и на набор от правила, чрез които машината работи. Те имат формата: qiaj