Курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та



Сторінка7/16
Дата конвертації27.01.2020
Розмір1,37 Mb.
ТипКурс лекцій
1   2   3   4   5   6   7   8   9   10   ...   16
x1&x2 = x1&x21 = x1&x2( ) = x1&x2х3x1&x2 .

Замінимо у формулі F кон’юнкцію x1&x2 на x1&x2х3x1&x2 . Нову фор-мулу позначимо F1. Отже, F1 = x1&x2х3x1&x2   . У формулі F1 немає еквівалентних елементарних кон’юнкцій рангу 3. Форму-ла F1 містить елементарну кон’юнкцію , ранг якої менше 3. У цій кон’юнкції немає літери, що побудована за допомогою змінної х1 з множини Х. Перетворимо . Маємо:

= 1 = ( ) = х1  .

Замінимо у формулі F1 конюнкцію на х1  . Нову формулу позначимо F2. Маємо: F2 = x1&x2х3x1&x2  х1   . У F2 є еквівалентні елементарні кон’юнкції рангу 3: х1 та . Вилучимо з F2 елементарну кон’юнкцію х1. Нову формулу позначимо F3. Отже,

F3 = x1&x2х3x1&x2   .

Формула F3 є дднф. Розташуємо літери у елементарних кон’юнкціях формули F3 згідно з таким порядком змінних з множини Х: х1, х2, х3. Нову формулу позначимо F4. Отже,



F4 = x1&x2х3x1&x2   .

Нехай Х – скінченна множина змінних, Х={x1,…,xn} (nN+). Конституентою одиниці у алфавіті Х називається елементарна кон’юнкція виду l1&…&ln, де li – це xi або ( ). Булеву функцію, що реалізується формулою, котра є конституентою одиниці у алфавіті Х, будемо також називати конституентою одиниці (у алфавіті Х).

З означення поняття конституенти одиниці у алфавіті Х випливає, що конституента одиниці у алфавіті Х є елементарною кон’юнкцією рангу n, де n – кількість символів алфавіту Х, у якій літери розташовані згідно з алфавітним порядком символів алфавіту Х.

Нехай, наприклад, задано множину змінних (алфавіт) Х={x1, x2, x3}. Формула х1х2х3 є конституентою одиниці у алфавіті Х, адже вона явля-ється елементарною кон’юнкцією виду l1&l2&l3, де l1 = x1, l2 = x2, l3 = x3. Формула являється елементарною кон’юнкцією, літери котрої побудовані за допомогою змінних множини Х, але не є конституентою одиниці у алфавіті Х, адже не містить літери, що побудована за допомогою змінної x3.




Каталог: bitstream -> 123456789
123456789 -> Тема: Безпека вулиці: азбука дороги
123456789 -> Методичні вказівки до вивчення дисципліни сво «доктор філософії»
123456789 -> Регіональний підхід до дослідження формування ціннісних орієнтацій студентів мистецьких вишів україни н. Г. Тарарак
123456789 -> Методологічне підґрунтя дослідження формування ціннісних орієнтацій студентів вищих навчальних закладів мистецького профілю україни
123456789 -> Загальна характеристика роботи
123456789 -> Інформаційне суспільство в контексті політичної культури суспільства
123456789 -> Заліщицька районна державна адміністрація Відділ з питань освіти Районний методичний кабінет Використання активних та інноваційних технологій як засіб активізації
123456789 -> Україна тернопільська область опис досвіду роботи учителя біології


Поділіться з Вашими друзьями:
1   2   3   4   5   6   7   8   9   10   ...   16


База даних захищена авторським правом ©pedagogi.org 2019
звернутися до адміністрації

    Головна сторінка