Доведення теоретико-математичних тотожностей і тверджень

Курсова робота

з дисципліни дискретний аналіз

Зміст

алгоритм програма множина графи

1. Доведення рівностей методом математичної індукції

2. Розробка алгоритму та написання програми обчислення множин

2.1. Теоретичні відомості

2.2. Проект обчислення

2.3. Організація структури програми

2.4. Вихідний текст програми

2.5.Опис процедур

2.5.1. Опис процедури SYS

2.5.1.1. Постановка задачі

2.5.1.2. Математична модель

2.5.1.3. Алгоритм рішення задачі

2.5.1.4. Блок-схема

2.5.2 Опис процедури OBED

2.5.3 Опис процедури PERET

2.5.4 Опис процедури RIZ

2.6. Результат

3. Доведення теоретико-математичних тотожностей і тверджень

4. Побудува таблиці істинності висловлень

4.1. Теоретичні відомості

4.2. Рішення

5. Побудова диз’юнктивної нормальної форми (ДНФ)

5.1. Теоретичні відомості

5.2. Рішення

6. Побудова досконалої диз’юнктивної нормальної форми (ДДНФ)

6.1. Теоретичні відомості

6.2.Рішення

7. Розробка алгоритму та написання програми знаходження множини елементарних циклів у графі

7.1. Теоретичні відомості

7.2. Алгоритм рішення задачі

7.3. Блок-схема програми

7.4. Вихідний текст програми

7.5. Результат роботи програми

Список літератури

1. Доведення рівностей методом математичної індукції

Теоретичні відомості

ТЕОРЕМА. Нехай властивість Р вірна для п =1 і нехай з істинності Р для п = к випливає його істинність для п = к+1. Тоді властивість Р вірна для кожного .

ТЕОРЕМА. Нехай множина має такі властивості.

1. .

2. Для кожного , якщо , то .

Тоді .

ТЕОРЕМА (Зворотний метод математичної індукції). Нехай властивість р(n) виконується для n=1. з того, що вона вірна для кожного випливає, що р(n) вірна для n. Значить р(n) вірна для будь-якого натурального n.

Зауваження. У загальному випадку індуктивний процес не зобов'язаний починатися з 1. Базисом індукції може бути будь-як ціле число a.

ТЕОРЕМА. Нехай властивість р(n) виконується для n= a. З цього для кожного випливає істинність для k+1. Значить р(n) істинно для будь-якого цілого .

Завдання 1: Довести, що для будь-якого

(1)

Розв‘язок:

Базиси індукції. Перевіримо рівність для п =1. Ліва частина =, права частина = . Тобто базис індукції виконується.

Індуктивне припущення. Вважаємо рівність (1) вірною для п = к, тобто припустимо, що:

(2)

Індуктивний перехід. Доведемо рівність (1) для п=к+1, тобто доведемо, що: ,звідси =

Таким чином на підставі методу математичної індукції рівність (1) вірна для кожного п.

2. Розробка алгоритму та написання програми обчислення множин

2.1. Теоретичні відомості

Множина – це будь-яка певна сукупність об'єктів. Об‘єкти з яких складається множина, називаються його елементами.

Множина, що не містить елементів, називається порожньою.

Множини, як об’єкти, можуть бути елементами інших множин. Множини, елементи яких є множини, іноді називають сімейством.

Сукупність об'єктів, які не є множиною, називають класом.

Звичайно в конкретних міркуваннях елементи всіх множин беруться з деякого одного, достатньо широкої множини U яке називається універсальною множиною.

Щоб задати множину, потрібно вказати, які елементи йому належать. Це можна зробити різними способами:

- перерахунком елементів: М={a_>1>,a_>2>,…,a_>k>};

- характеристичним предикатом: М={x| P(x)};

- породжуючою процедурою: M={x | x= f}.

Розглянемо множини Y всіх множин, що не містять себе як елементу:

Якщо множина Y існує, то ми повинні відповісти на наступне питання: Y Y ? Хай Y Y, тоді YY. Хай Y Y, тоді Y Y. Виходить неусувна логічна суперечність, яка відома як парадокс Рассела. Ось три способи уникнути цього конкретного парадоксу.

Обмежити використання характеристичні предикати вигляду: , де А – відома, явно існуюча множина (універсум). Звичайно при цьому використовується позначення . Для Y універсум не вказаний, а тому Y множиною не може бути.

Територія типів. Об‘єкти мають типи 0, множина елементів типу 0 мають тип 1, множина елементів типу 0 та 1 – типу 2 і т. д. Y не має типу і тому не може юути множиною.

Явна заборона приналежності множини самої собі: - неприпустимий предикат. Відповідна аксіома називається аксіомою регулярності.

Множина А міститься у множині В якщо кожний елемент А є елементом В:

В цьому видатку А називається підмножиною В, В – над множиною А. З означенням

Дві множини рівні, якщо вони є підмножинами один одного:

Кажуть, що кінцева множина А має потужність к, якщо вона рівно потужна відрізку 1..к

Операції над множинами

Назва операції	Математичне представлення операції
Об‘єднання
Перетин
Різність
Симетрична різність
Заперечення

Властивості операції над множинами

Назва властивості	Варіант №1	Варіант №2
Іденпотентність
Комутативність
Асоціативність
Дистрибутивність
Поглинання
Властивість нуля
Властивість одиниці
Інволюнтивність
Закон де Моргана
Властивість доповнення
Властивість для різності

Завдання 2.1

Розробити алгоритм та написати програму обчислення множини:

Проектування рішення задачі

Проект рішення задачі представляється в формі принципової блок-схеми.

Обчислення:

Вхід: А

Вихід: М_>1>

Обчислення:

Вхід: А,В

Вихід: M_>2>

Обчислення:

Вхід: B, D

Вихід: M_>3>

Обчислення: = M_>4>

Вхід: M_>1,> M_>3>

Вихід: M_>4>

Мал.1.Принципова блок-схема обчислення множин

Примітка: При розробці алгоритму даної задачі ми вводимо множини А, В, D вже в упорядкованому вигляді, але ми нижче приводимо опис методу впорядкування множин методом простого включення.

2.3. Організація структури прграми

Для обчислення операцій використовують метод, який базується на методі злиття. Він пропонує, що вихідні множини повинні бути відсортованими. Тому в програмі для сортування вихідних масивів будемо користуватись процедурою SYS (сортування методом простого виключення).

Представимо структуру програми у вигляді наступної блок-схеми (для програми обрано модульний принцип організації програми):

Ввід А,В

(невідсортовані)

Procedure SYS (M)

Виклик SYS (A);

SYS (B).

Процедура OBED

Процедура PERET

Процедура RIZ

Мал.2.Принципова блок-схема програми

У програмі вирішення даної задачі ми використовуємо наступні процедури:

SYS- призначена для сортування цілих додаткових чисел;

ОBED- призначена для організації виконання операцій об’єднання двох відсортуваних множин;

PERET- призначена для організації виконання операцій перетину двох відсортуваних множин;

RIZ- призначена для організації виконання операцій різниці двох відсортуваних множин.

2.5.Опис процедур

2.5.1. Опис процедури SYS.

2.5.1.1. Постановка задачі.

Задана послідовність чисел A = {a_>і>, а_>2>, а_>3>, … ,а_>n>}.

Необхідно упорядкувати її елементи по зростанню, тобто створити послідовність чисел В={}, такий, щоб , .

Задачу вирішимо методом простого виключення.

2.5.1.2. Математична модель

Як математичну модель представимо логічну схему роботи методом простого включення. Описуємо суть методу.

Побудуємо таблицю з 3 стовбців:

1-й стовбець предначений для вказування ітерацій методу.

2-й —для несортованої послідовності (А).

3-й —для відсортованої послідовності (В).

На першому кроці ітерацій 1-й елемент з А вставляється в В, потім цей елемент видаляється з А. Далі на кожному кроці ітерацій 1-й елемент з поточної невідсортованої послідовності А вставляється в відповідне йому місце відсортованої послідовності В; потім він удаляєть з послідовності А. Покажемо роботу методу простого виключення на прикладі:

А=.

і	Невідсортований список, (А)	Відсортований список, (В)
0	7, 2, 21, 17, 6, 1, 13, 5, 8.
1	2, 21, 17, 6, 1, 13, 5, 8.	7
2	21, 17, 6, 1, 13, 5, 8.	2, 7
3	17, 6, 1, 13, 5, 8.	2, 7, 21
4	6, 1, 13, 5, 8.	2, 7, 17, 21
5	1, 13, 5, 8.	2, 6, 7, 17, 21
6	13, 5, 8.	1, 2, 6, 7, 17, 21
7	5, 8.	1, 2, 6, 7,13, 17, 21
8	8.	1, 2, 5, 6, 7,13, 17, 21
9		1, 2, 5, 6, 7, 8, 13, 17, 21

2.5.1.3. Алгоритм рішення задачі.

Алгоритм процедури SYS.

Алгоритм призначений для впорядкування чисел методом простого виключення.

Вхід: А- масив невідсортуваних даних;

n- кількість елементів масиву.

Вихід: В- масив відсортуваних даних.

Трудоємність алгоритма .

Крок 1: Визначити перші два елемента масива В.

Крок 2: Організувати цикл по , .

Крок 3: Провірити умови Якщо умова виконується, то .

Перехід на крок 6.

Крок 4: Організувати цикл по , де (для індексації решти елементів масива В).

Крок 5: Провірити умови . Якщо вона виконується, то елементи масива В зміщуються на один розряд вправо з до . Присвоїти .

Крок 6: Завершення циклу по .

Крок 7: Кінець.

2.5.1.4. Блок-схема.

так

ні

так

Мал.3. Блок-схема процедури SYS.

2.5.2. Опис процедури OBED.

2.5.2.1. Постановка задачі.

Задані дві множини A={а,а,..,а}, В={b,b,..,b}.

Потрібно отримати множину С=А В.

2.5.2.2. Математична модель

Об’єднання визначається наступним чином .

2.5.2.3. Алгоритм рішення задачі.

Алгоритм вирішення задачі базується на методі злиття двох множин. Приведемо загальний опис вирішення алгоритму задачі.

Блок 1:використовуємо Procedure SYS ,яка описана в лабораторній pоботі №1.

Блок 2,3: не відсортовані масиви; відсортовані масиви.

Блок 4: алгоритм OBED

Алгоритм OBED:

Призначений для об’єднання двох відсортованих множин А і В з використанням методу злиття.

Крок 1. Присвоїти , j=1,;

Крок 2. Перевірити умову : якщо так, то: к=к+1,с= ,і=і+1;

Крок 3. Перевірити умову ; якщо так, то перехід на крок 2;

інакше: записати в кінці масиву С елементи масиву В,

які залишились нерозглянуті; кінець.

Якщо ,то перехід на крок 4;

Крок 4. Перевірити ;якщо так, то: к=к+1, с=b,j=j+1

Крок 5. Перевірити умову j; якщо так, то перехід на крок 2;

інакше: записати в кінці масива С елементи А, які залишились нерозглянуті; кінець.

Крок 6. ,к=к+1; с=,і=і+1, J=j+1 ;

Крок 7. Провірити умову: оr (Чи існують іще нерозглянуті елементи множини А чи В);якщо так, то перехід на крок 2. Інакше : якщо і>n і j<m, то записати в кінці масиву С елементи В, які не були розглянені; кінець.якщо і <n i j >m, то записати в кінці масиву С елементи А , які залишились ерозглянуті.Kiнець

2.5.2.4. Блок-схема.

Мал.3. Блок-схема процедури OBED

2.5.3. Опис процедури PERET

2.5.3.1. Постановка задачі.

Задані дві множини: A={а,а,..,а}

В={b,b,..,b}, які упорядковані.

Потрібно отримати множину С=А B

2.5.3.2. Математична модель

Перетин визначається наступним чином С=А В={С,СА і СВ}

2.5.3.4. Алгоритм вирішення задачі

Алгоритм вирішення задачі базується на методі злиття двох множин, тому ми можемо допустити, не порушуючи загальності, що множини А і В вже відсортували. Задається у відсортованому вигляді. Приведемо загальний опис вирішення алгоритму задачі.

На кожному кроці основного циклу можлива одна з трьох ситуацій: поточний елемент множини А менше, чи більше, чи дорівнює поточному елементу множини В.

у першому випадку поточний елемент множини А не належить перетинанню, він пропускається і відбувається просування в цій множині;

у другому випадку теж саме виконується з множиною ;

у третьому випадку знайдені співпадаючі елементи, один екземпляр елементу додається в результат і відбувається просування відразу в обох множинах.

Алгоритм перетину:

Призначений для перетину двох відсортованих множин А і В з використанням методу злиття.

Крок 0. Ініціалізація: задання множин А і В:

А={а},;

В={b},;

Присвоїти , j=1

Крок 1. Перевірити . Якщо так, то: і=і+1. Перехід на Крок4.

Крок 3. Перевірити ,якщо так, то: j=j+1. Перехід на Крок 4.

Крок 4. Виконати Крок2 і Крок3 при ( )оr ( ) .

Крок 5. Кінець.

Блок-схема.

Мал.3. Блок-схема процедури PERET

2.5.4. Опис процедури RIZ.

2.5.4.1. Постановка задачі

Задані дві множини A={а,а,..,а} і В={b,b,..,b}, які упорядковані.

Потрібно отримати множину С=А \B.

2.5.4.2. Математична модель

Різниця визначається наступним чином С=А \В={с, сА і сВ}

2.5.4.3. Алгоритм вирішення задачі

Алгоритм вирішення задачі базується на методі злиття двох множин, тому ми можемо допустити не порушуючи загальності, що множини А і В вже відсортували. Приведемо загальний опис вирішення алгоритму задачі.

у першому випадку поточний елемент множини А записується в результат С і розглядається наступний елемент множини А;

у другому випадку поточний елемент множини А не належить різниці і розглядається наступний елемент множини В;

у третьому випадку поточний елемент А не належить результату і розглядаються наступні елементи множин А і В.

Після закінчення основного циклу ті елементи множини А, які не були розглянуті, записуються в кінець списку С без перевірки.

АЛГОРИТМ RIZ. Призначений для знаходження різниці двох відсортованих множин А і В з використанням методу злиття.

Крок 0. Задання множин А і В: А={а},;В={b},;

Присвоїти , ,.

Крок 1. Перевірити . Якщо так, то: , , . Перехід на Крок3.

Крок 2. Перевірити . Якщо так, то: , , перехід на Крок 3. Інакше: .

Крок 3. Виконати Крок1 і Крок2 поки ( )оr ( ) .

Крок 4. Визначити: якщо залишились нерозглянуті елементи множини А, то записати їх без перевірки в кінець списку С.

Крок 5. Кінець.

Приведемо загальний опис вирішення задачі.

Ввід А =, B =

А ,В – невідсортовані множини

Виклик SYS (а, А,n)

Вихід А- відсортовані

Виклик SYS (b, B,m)

Вихід B- відсортовані

Виклик RIZNICA(A,B,m,n,D)

SYS (B).

Вихід D = A\B

Друк A, B, D

SYS – procedure для відсортування масиву

RIZNICA- procedure для обчислення С = А \ В

2.5.4.5. Блок-схема

Мал.3. Блок-схема процедури RIZ

2.6. Результат

Текст програми:

Program proga;

type ar=array [1..50] of integer;

Var A,B,C,D,BK1,BK2,Bk3,Bk4,Bk5,Bk6,M,U:ar;

i,j,k,nk1,nk2,nk3,nk4,nk5,nk6,nm,na,nb,nc,nd:integer;

Procedure OBED(Var pa:ar;Var pb:ar;Var pc:ar;Var pn1, pn2,pk:integer);{вхід:A,B; вихід C}{програма для об’єднання множин}

var

i,j,k,l:integer;

begin

i:=1;j:=1;k:=0;

repeat

if pA[i]<pB[j] then

begin k:=k+1;pC[k]:=pA[i];i:=i+1; end;

if pA[i]>pB[j] then

begin k:=k+1;pC[k]:=pb[j];j:=j+1; end;

if pA[i]=pB[j] then

begin k:=k+1;pC[k]:=pA[i];i:=i+1;j:=j+1; end;

until (i>pn1) or (j>pn2);

if (i>pn1)and(j<pn2) then

for l:=j to pn2 do

begin k:=k+1; pC[k]:=pB[l];end;

if (i<pn1) and (j>pn2)then

for L:=i to pn1 do

begin k:=k+1;pC[k]:=pA[l];end;

write(' A={'); for i:=1 to pn1 do write(pa[i]:3); writeln('}');

write(' B={'); for i:=1 to pn2 do write(pB[i]:3); writeln('}');

write(' C={'); for i:=1 to k do write(pC[i]:3); write('}');

pk:=k;

readln;

end;

Procedure RIZ(Var pa:ar;Var pb:ar;Var pc:ar;Var pn1, pn2,pk:integer); {вхід:A,B; вихід C}{програма для обчислення різниці множин}

{const n=5;m=6;}

var

i,j,k,l:integer;

begin

i:=1;j:=1; k:=0;

repeat

if pa[i]<pb[j] then begin k:=k+1; pC[K]:=pa[i]; i:=i+1; end

else begin if pa[i]=pb[j] then

begin i:=i+1; j:=j+1; end

else j:=j+1; end;

until (i>pn1)or(j>pn2);

if (i<pn1)and(j>pn2) then

begin for l:=i to pn1 do

begin k:=k+1; pc[k]:=pa[l]; end;

end;

if k=0 then

begin

write(' A={'); for i:=1 to pn1 do write(pa[i]:3); writeln('}');

write(' B={'); for i:=1 to pn2 do write(pb[i]:3); writeln('}');

write(' C={'); for i:=1 to k do write(pc[i]:3); writeln('}');

end

else

begin

write(' A={'); for i:=1 to pn1 do write(pa[i]:3); writeln('}');

write(' B={'); for i:=1 to pn2 do write(pb[i]:3); writeln('}');

write(' C={'); for i:=1 to k do write(pc[i]:3); writeln('}');

end;

pk:=k;

readln;

end; Procedure PERET(Var pa:ar;Var pb:ar;Var pc:ar;Var pn1, pn2,pk:integer); {вхід:A,B; вихід C}{програма для перетину множин}

{const n=10; m=7;}

var

i,j,k,l:integer;

begin

i:=1;j:=1;k:=0;

repeat

if pA[i]<pB[j] then i:=i+1;

if pA[i]>pB[j] then j:=j+1;

if pA[i]=pB[j] then

begin k:=k+1; pC[k]:=pA[i]; i:=i+1;j:=j+1;end;

until (i>pn1) or (j>pn2);

if k = 0 then

begin

write(' A={'); for i:=1 to pn1 do write(pa[i]:3); writeln('}');

write(' B={'); for i:=1 to pn2 do write(pB[i]:3); writeln('}');

write(' C={'); for i:=1 to k do write(pC[i]:3); write('}');

end

else

begin

write(' A={'); for i:=1 to pn1 do write(pa[i]:3); writeln('}');

write(' B={'); for i:=1 to pn2 do write(pB[i]:3); writeln('}');

write(' C={'); for i:=1 to k do write(pC[i]:3); write('}');

end;

writeln;

pk:=k;

readln;

end;

Begin {тіло програми}

k:=15;

For i:=1 to k do U[i]:=i;

Write ('Задайте множину A та ii границю');

write(' na=');REadln (na);

For i:=1 to na do begin write ('A[',i,']= '); Readln(a[i]); end;

Write ('Задайте множину В та ii границю');

write(' nb='); Readln (nb);

For i:=1 to nb do begin write ('B[',i,']= '); Readln(b[i]); end;

Write ('Задайте множину С та ii границю');

write(' nc='); Readln (nc);

For i:=1 to nc do begin write ('C[',i,']= '); Readln(C[i]); end;

Write ('Задайте множину D та ii границю');

write(' nd='); Readln (nd);

For i:=1 to nd do begin write ('D[',i,']= '); Readln(D[i]); end;

peret(A,B,bk1,na,nb,nk1);

riz(U,bk1,bk2,k,nk1,nk2);

riz(U,C,bk3,k,nc,nk3);

riz(U,D,bk4,k,nD,nk4);

peret(bk3,bk4,bk5,nk3,nk4,nk5);

riz(U,bk5,bk6,k,nk5,nk6);

obed(bk2,bk6,M,nk2,nk6,nm);

end.

Результати:

Вхідні данні:

A={2,3,5,8}, na=4

B={1,2,5,11}, nb=4

C={12,14,15}, nc=3

D={3,9,10,11,12}, nd=5

Отримані данні:

М_>1=>{2,5}

М_>2=>{1,3,4,6,7,8,9,10,11,12,13,14,15}

М_>3=>{1,2,3,4,5,6,7,8,9,10,11,13}

М_>4=>{1,2,4,5,6,7,8,13,14,15}

М_>5=>{1,2,4,5,6,7,8,13}

М_>6=>{3,9,10,11,12,14,15}

3 Доведення теоретико-математичних тотожностей і тверджень

Завдання: Довести тотожність: ;

Доведення:

;

4.Побудова таблиці істинності висловлень

4.1. Теоретичні відомості

Під висловленням розуміють пропозицію людської мови, про яку можна сказати, істинна вона або хибна. Пізніше стане ясно, чому тут говориться не про визначення, а про поняття висловлення. А надалі в нас з'явиться можливість дати точне визначення висловлення. Висловлення позначаються великими буквами латинського алфавіту, можливо з індексами: . Якщо висловлення А є істинним то пишуть А=1, інакше пишуть А=0.

Задається дія заперечення за допомогою таблиці істинності:


0	1
1	0

Кон’юнкція задається за допомогою таблиці істинності:


0	0	0
0	1	0
1	0	0
1	1	1

Диз'юнкція задається за допомогою таблиці істинності:


0	0	0
0	1	1
1	0	1
1	1	1

Еквівалентність задається таблицею істинності:


0	0	1
0	1	0
1	0	0
1	1	1

Задається імплікація таблицею істинності:


0	0	1
0	1	1
1	0	0
1	1	1

4.2. Побудовання таблиці істинності висловлень

Завдання: Побудуйте таблиці істинності для висловлювання ;

Відзначимо, відповідно до пріоритетів виконання операцій , кроки, за якими буде побудована таблиця істинності висловлень:

_>>_>>_>>_>>

B	D	E	f_>1>	f_>2>	f_>3>	f_>4>	f_>5>	f_>6>	f_>7>	f_>8>	f_>9>	f_>10>	f_>11>	f_>12>	F
0	0	0	1	0	0	0	0	1	0	0	1	0	0	1	1
0	0	1	0	0	0	0	0	1	0	0	1	0	0	1	1
0	1	0	1	0	0	0	1	1	0	0	1	0	0	1	1
0	1	1	0	0	0	0	0	1	0	1	0	0	1	1	1
1	0	0	1	0	0	1	0	0	1	0	1	0	0	0	0
1	0	1	0	0	0	0	0	1	0	0	1	0	0	1	1
1	1	0	1	1	1	1	1	1	0	0	1	0	0	0	1
1	1	1	0	1	1	0	0	0	1	1	0	1	1	1	1

Розв‘язок:

5. Побудова диз'юнктивної нормальної форми (ДНФ)

5.1. Теоретичні відомості

Визначення. Нехай F – висловлення і .

Визначення. у тому і тільки в тому випадку, коли .

Визначення. Кон’юнкція логічних змінних або їх заперечень називається елементарною кон’юнкцією. Загальний вигляд елементарної кон’юнкції

Визначення. Висловлення називається диз'юнктивною нормальною формою, якщо воно є диз'юнкцією елементарних кон’юнкцій. загальний вигляд ДНФ

,

де кожна , у свою чергу, є елементарною кон’юнкцією.

Теорема. Будь-яке висловлення рівносильне диз'юнктивній нормальній формі (говорять ще так: “Будь-яке висловлення зводиться до ДНФ”).

Основні логічні тотожності:

1) – ідемпотентність диз'юнкції;

2) – ідемпотентність кон’юнкції;

3) – комутативність диз'юнкції;

4) – комутативність кон’юнкції;

5) – асоціативність диз'юнкції;

6) – асоціативність кон’юнкції;

7) – дистрибутивність кон’юнкції щодо диз'юнкції;

8) – дистрибутивність диз'юнкції щодо кон’юнкції.

9) – перший закон Моргана.

10) – другий закон Моргана.

11) – закон подвійного заперечення.

12) – закон протиріччя.

13) – закон виключення третіх.

14) .

15) .

16) .

Тотожності, що містять константи:

17) .

18) .

19) .

20) .

21) .

22) .

23) .

24) .

25) .

26) .

5.2. Завдання:

Звести до ДНФ таке висловлювання.

Розв‘язок: F=

6. Побудова досконалої диз'юнктивної нормальної форми (ДДНФ)

6.1. Теоретичні відомості

Визначення. Нехай – деяка множина логічних змінних. Елементарна кон’юнкція, в яку входять усі логічні змінні, називається повною елементарною кон’юнкцією щодо множини .

Визначення. Нехай є повною елементарною кон’юнкцією щодо множини . Тоді містить у таблиці істинності лише одну одиницю, причому на наборі . І навпаки, якщо в таблиці істинності висловлення є лише одна одиниця на наборі , то є повною елементарною кон’юнкцією, причому

Визначення. Нехай – висловлення. Позначимо через множину всіх наборів , на яких . називається множиною істинності висловлення . Можна записати, що .