Podľa danej logickej schémy zložte logický výraz. Logické schémy a logické výrazy. Úvod do syntézy logických obvodov z booleovskej bázy

Logickú funkciu počítača demonštruje obvod s ventilmi. Tento princíp dáva nasledovné prejdite do počítača:

Vytvoríme logickú funkciu, ktorá popisuje transformáciu výstupných dvojitých kódov na požadovaný výsledok.

Odstránil som funkciu relaxačných, vikoristických zákonov algebry logiky.

Zostávajúca funkcia je napísaná ako obvod brány.

Ventilový obvod je realizovaný fyzicky pomocou elektronických prvkov.

Usmerňujúco príklad realizácie 3. etapy. Funkcia daná

Nakreslite logický diagram funkcie.

Vytvorenie logického obvodu je založené na priorite operácií (časť „Hodnotenie logickej (booleovskej) funkcie“) a umiestnení okrúhlych ramien, ktoré menia poradie operácií. Najvyššiu prioritu majú zrejme operácie v strede ramien (pretože je tam zápach), potom operácia inverzie (prekrývanie). Taktiež pre danú funkciu je najprv potrebné sformulovať prvky
і a potom prvok
. Potom môžete vybrať zložené prvky a odstrániť ich (
і
) a nakoniec pred vyberanú sumu pripočítajte zmenu a. Výsledkom je nasledujúci diagram (obr. 5):

Malý 5. Schéma implementácie funkcie (vzorec (28))

Je možné vyriešiť opačný problém, ak je daná logická schéma, je potrebné odstrániť logickú funkciu. Napríklad na obr. 6 znázorňuje logickú schému. Je potrebné s ním napísať logickú funkciu.

Malý 6. Schéma implementácie funkcie f ( X , r , z )

Pri vybiehaní zmien zo vstupu zaznamenávame postupne pre kožnú chlopňu jej logickú činnosť na jej vstupných zmenách v smere šípok. Potom na výstupe obvodu je výsledkom funkcia. Pri zaznamenávaní operácií je potrebné pamätať na to, že operácie, ktoré sú dokončené skôr, môžu mať vyššiu prioritu, čo je indikované buď samotnou operáciou alebo indikovanou ramenami.

Takže pre okruh 6 sa do prvého výkresu pridajú tri operácie: x∙y, і . Potom operácia prevrátenia sumy:
, Ďalej je ďalšia operácia logického sčítania výsledkov predchádzajúcich operácií:
. Zostávajúcou operáciou bude inverzia výsledku logického násobenia:
. Takto je možné vidieť požadovanú funkciu.

Zhrnutie lekcie
"Pobudova logických obvodov pomocou základných logických prvkov"

10. ročník

Typ lekcie: prednáška, samostatná práca.

Obladnannya: projektor, karty z minulosti.

Tvarové roboty: kolektívne, individuálne.

Trival lekcie: 45 hv.

Ciele lekcie:

Osvitny:

naučiť sa vytvárať logické obvody pre logické funkcie pomocou základných logických prvkov;

Naučte sa písať podobnú logickú funkciu z logického obvodu.

Vikhovny:

posilnenie zručností nezávislosti v práci, vštepovanie presnosti a disciplíny.

vyvíja sa:

rozvoj úcty, mentality, pamäti učencov.

Nadpis lekcie:

1. Organizačný moment (1. krát).
2. Opätovné overenie pokrytého materiálu (5 minút).

Predná príprava.

Uveďte hlavné logické operácie.

Čo je logickejšie ako násobenie?

Čo je logickejšie dodať?

Čo je inverzia?

Čo je pravdivá tabuľka?

Čo je sumátor?

Čo je sumátor?

3. Zavedenie nového materiálu (20. storočie).

Diskrétny prevodník, ktorý po spracovaní dvoch vstupných signálov vytvára na výstupe signál, ktorý obsahuje hodnoty jednej z logických operácií, sa nazýva logický prvok.
Akákoľvek logická operácia môže byť reprezentovaná ako kombinácia troch hlavných, akékoľvek počítačové zariadenia, ktoré spracúvajú alebo ukladajú informácie, môžu byť zhromažďované zo základných logických prvkov A ako sme zamýšľali.
Logické prvky počítača pracujú so signálmi, ktorými sú elektrické impulzy. Є pulz – signál logického snímania – 1, žiadny pulz – 0. Signály-hodnoty argumentov sa posielajú na vstupy logického prvku a na výstupe sa objavujú signálne hodnoty funkcie.
Transformácia signálu logickým prvkom je špecifikovaná tabuľkou stan, čo je pravdivostná tabuľka spojená s logickou funkciou.
Systém je vybavený inteligentným označením (obvodov) základných logických prvkov, ktoré realizujú logické násobenie (konjunktor), logické sčítanie (disjunktor) a prepojenie (invertor).

Logický prvok "I":

Logický prvok „ABO“:

Logický prvok „NIE“:

Počítačové zariadenia (sumátory v procesore, pamäťové priehradky v RAM atď.) budú v súlade so základnými logickými prvkami.

zadok 1. vytvorte logický diagram.

Naša denná schéma, z logickej operácie pochopíme, že zvyšok musíme dodržať. V našom prípade je takáto operácia logickým sčítaním a výstupom logického obvodu je disjunktor. Na tomto signáli sú napájané signály z dvoch konjunktorov, v ktorých je privádzaný jeden normálny vstupný signál a jeden inverzný signál (z meničov).

zadok 2. Napíšte nasledujúci logický vzorec z logického diagramu:

rozhodnutie:

4. Prichytenie nového materiálu (15. storočie).

Na upevnenie učiva sú študentom poskytnuté karty pre dve možnosti samostatnej práce.

Možnosť 1.

rozhodnutie:

rozhodnutie:

Možnosť 2.

1. Sledovanie danej logickej funkcievytvorte logický obvod a pravdivostnú tabuľku.
rozhodnutie:

2. Napíšte logický vzorec z logického diagramu:

rozhodnutie:

5. Nastavenie domácej dekorácie. (3 xv).

Nasledovanie danej logickej funkcievytvorte logický obvod a pravdivostnú tabuľku.

6. Doplnenie tašiek na lekciu. (1 xv).

Analyzujte, vyhodnoťte úspešnosť úspechu a načrtnite vyhliadky do budúcnosti. Hodnotenie práce triedy a ostatných žiakov, argumentácia pre prideľovanie známok, rešpektovanie vyučovacej hodiny.

Literatúra, alebo:

Informatika a informačné technológie. Učiteľ pre 10-11 ročníkov, N. D. Ugrinovič - narodený v roku 2007;

Workshop z informatiky a informačných technológií. Základná príručka pre inštalácie zapaľovacieho osvetlenia, N. D. Ugrinovich, L. L. Bosova, N. I. Michajlova - 2007

Existuje manuálny spôsob, ako identifikovať logické výrazy a logické vzorce. Os je v takýchto diagramoch reprezentovaná tromi hlavnými logickými operáciami:

Obrázok 6.1 - Schematické znázornenie logických operácií

zadok. Ak chcete vypočítať logický výraz: 1 alebo iný 0 і 1 Nakreslite diagram, ktorý znázorňuje postupnosť logických operácií. Vypočítajte význam logického výrazu pomocou diagramu.

Tu je jasne znázornené, že operácia je na prvom mieste і, potom alebo iný. Teraz v poradí ľavák - pravák sa výsledky operácie pridajú k šípkam odchodu:

Výsledok bol 1 , potom. "PRAVDA".

zadok. Viraz podal: nie (1 і (0 alebo iný 1) і 1).

Vypočítajte hodnoty vírusu pomocou ďalšej logickej schémy.

rozhodnutie. Logická schéma s výsledkami výpočtu vyzerá takto:

Implikácia a ekvivalencia

Implikácia(Umovne vislovlyuvannya). V ruskom jazyku sú tieto logické operácie podporované dlahami niečo také; Ak potom;

yakscho... teda atď. Viraz, co zacina po spiloku

yakscho, ak, yakscho, sa nazýva základ mentálneho uvedomenia. Viraz, čo stojí po slovách potom, potom,.

sa nazýva dôsledok. V logických vzorcoch je operácia implikácie označená znakom „→“. Dôsledkom je dvojitá operácia; napísané takto: A→B Ekvivalencia. Movny analóg - odbory v niektorých a len v niektorých smeroch; vtedy a len vtedy, ak... Ekvivalencia je uvedená

známomy

"≡" alebo "↔".

Poradie všetkých piatich logických operácií znížením prednosti útokov: superpozícia, konjunkcia, disjunkcia, implikácia, ekvivalencia.

Znovuobjavenie logických výrazov

Vzorec má normálnu formu, pretože obsahuje všetky znaky ekvivalencie, implikácie, podradenej postupnosti, v ktorej sa znaky postupnosti považujú za zameniteľné. Základné vzorce na transformáciu logických vírusov:

2. (A a B) ≡ A čl.

3. (A

B) ≡ A a B. 4. (A → B) ≡A & B.

5. A→B ≡ A ↔ B. 6. A B ≡ (A a B) (A a B) ≡ (A

B) a (A B).

7. A & (A B) ≡ A.

8. A čl.

A a B ≡ A. 9. A & (A Základné vzorce na transformáciu logických vírusov:

11. Zákony komutatívnosti:

A & B = B & A;

A B ≡ B A.

12. Zákon o združení:

(A B) Z ≡ A (IN S);

(A & B) & C ≡ A & (B & C).

13. Zákony idempotencie:

A A = A;

14. Zákony distributivity:

A & (B C) ≡ (A a B) (A&C);

A (B a C) ≡ (A B ≡ (A a B) Z).

15. A 1 ≡ 1;

16. A & 1 = A;

17. A A = 1;

18. A & 0 = 0;

19. A & A ≡ 0.

6.3. Manažér laboratórneho robota

Sklady sú distribuované tajným spôsobom pod rovnakým bankovým účtom. mn kód. Ak je m nemenné číslo, potom je vaša možnosť 1, ak ide o nemenné číslo, potom je vaša možnosť 2.

Zavdannya 1. Vikoristické a logické operácie, zapíšte si vysvetlenia, ktoré sú účinné pri porážke útočiacich myslí:

Možnosť 1.

1) Chcem, aby jedno z čísel X, Y, Z bolo kladné;

2) viac ako jedno z čísel X, Y, Z nie je kladné.

3) iba jedno z čísel X, Y, Z je väčšie ako 10

4) každé z čísel X, Y, Z sa nerovná 104

Možnosť 2.

1) Chcem, aby jedno z čísel X, Y, Z bolo záporné;

2) viac ako jedno z čísel X, Y, Z je záporné.

3) viac ako jedno z čísel X, Y, Z nie je väčšie ako 10

4) každý počet čísel X, Y, Z sa rovná 0

Zavdannya 2. Zvážte význam logického výrazu nie (X>Z) č (X=Y), čo je:

Možnosť 1.

1) X = 3, Y = 5, Z = 2;

2) X = 5, Y = 0, Z = -8.

Možnosť 2.

1) X = 9, Y = -9, Z = 9;

2) X = 0, Y = 1, Z = 19.

Zavdannya 3. Nech a, b, c sú logické hodnoty, ako napríklad tieto hodnoty: a = pravda, b = nezmysel, c = pravda. Nakreslite logické diagramy pre ďalšie logické výrazy a vypočítajte ich hodnoty:

Možnosť 1.

1) a і b;

2) nie A alebo iný b;

3) a alebo iný b і S;

4) (a alebo iný b) і(c alebo iný b).

Možnosť 2.

1) a alebo iný b;

2) a і b alebo iný S;

3) nie A alebo iný b і S;

4) nie(A і b і S).

Zavdannya 4. Postupujte podľa logických schém za logickými výrazmi:

Možnosť 1. x 1 і (nie x 2 alebo iný x 3).

Možnosť 2. x 1 і x 2 alebo nie x 1 і x 3.

Zavdannya 5. Venujte pozornosť logickým schémam. Zapíšte si nasledujúce logické výrazy:

Možnosť 1. Možnosť 2.

Zavdannya 6. Je uvedený logický diagram. Nájdite logický výraz, ktorý podporuje túto schému.

Vypočítajte hodnotu vírusu pre:

Možnosť 1.

1) x 1 = 0, x 2 = 1;

2) x 1 = 1, x 2 = 1.

Možnosť 2.

1) x 1 = 1, x 2 = 0;

2) x 1 = 0, x 2 = 0.

Zavdannya 7. Je uvedený logický diagram. Vytvorte pravdivostnú tabuľku pre obvod.

Zavdannya 8. Určite pravdivosť vzorca:

Možnosť 1. (a) .

Možnosť 2.

Zavdannya 9. Odpusť Virazovi:

Možnosť 1. .

Možnosť 2. .

6.4. Pomáhajte až do konca dňa

1. Účel laboratórnej práce.

2. Priradenie k laboratórnemu robotovi. Mn – kód.

3. Výsledky uvoľnenia príkazu vašej opcie.

4. Zvýraznenie výsledkov.

6.5. Ovládajte jedlo

1. Čo je logickejšie ako definícia, konštanta, zmena, vzorec?

2. Aké typy logických operácií vidíme v laboratórnom robote?

3. Pravdivé tabuľky pre implikáciu a ekvivalenciu?

4. Reinterpretovať zákony algebry logiky?

Laboratórny robot č.7
"SYSTÉMY STAROSTLIVOSTI"

7.1. Meta roboty

Variácie číselných systémov. Začnite s prevodom z jedného číselného systému do druhého

7.2. Metodické vložky

S prevrátenou formou Záznam čísla sa nazýva záznam v tvare:

A q =±(a n-1 q n-1 + a n-2 q n-2 +…+ a 0 q 0 + a –1 q -1 + a -2 q -2 + …+ a -m q - m).

Tu A q je samotné číslo, q je základ číselnej sústavy a i sú číslice danej číselnej sústavy, n je počet číslic celej časti čísla, m je počet číslic číselnej sústavy. zlomková časť čísla.

zadok.

32478 10 = 3*10000 + 2*1000 + 4*100 + 7*10 + 8 = 3*10 4 + 2*10 3 + 4*10 2 + 7*10 1 + 8*10 0 .

26,387 10 = 2*10 1 + 6*10 0 + 3*10 -1 + 8*10 -2 + 7*10 -3 .

Nájdite poskladaný tvar desiatok čísel 32478; 26,387.

112 3 =1*10 2 + 1*10 1 + 2*10 0 .

1011012 = 1*10 101 + 0*10 100 + 1*10 11 + 1*10 10 + 0*10 1 + 1*10 0 .

zadok.

101,11 2 = 1*10 10 + 0*10 1 + 1*10 0 + 1*10 -1 + 1*10 -10 .

Nájdite poskladaný tvar čísel 112 3, 101101 2, 15FC 16, 101,11 2

15FC16 = 1 * 103 + 5 * 102 + F * 101 + C.

112 3 =1*3 2 + 1*3 1 + 2*3 0 = 9+3+2 = 14 10 .

101101 2 = 1*2 5 + 0*2 4 + 1*2 3 + 1*2 2 + 0*2 1 + 1*2 0 =32+8+4+1 = 45 10 ,

Ak sú všetky sklady v desiatom systéme v otvorenom tvare nedesiateho daňového čísla a vypočítavajú odpočty podľa pravidiel desiatej aritmetiky, potom v desiatom systéme uvidíte číslo, ktoré je podobné tomuto. Tento princíp sa používa na prevod z desiatkovej sústavy na desiatkovú sústavu.

101,11 2 = 1*2 2 + 0*2 1 + 1*2 0 + 1*2 –1 + 12 -2 = 4 + 1 + 1/2 + 1/4 = 5 + 0,5 + 0,25 = 5,75 10 .

4) zadok. Preveďte všetky čísla z predného zadku do systému desiatok.

15FC 16 = 1 * 16 3 + 5 * 16 2 + 15 * 16 1 + 12 = 4096 + 1280 + 240 + 12 = 5628 10.

Predmet:

l v 0 a l = 1.

zadok 2

Vytvorte logický diagram, ktorý zodpovedá logickému výrazu

F = X & Yv (Y v X).

Vypočítajte hodnoty vírusu X = 1, Y = 0.

1) Existujú dve premenné: X a Y;

2) Existujú tri logické operácie: konjunkcia a dve disjunkcie: 14 3 2 X & Y v (Y v X).

3) Okruh sa rozšíri doprava v poradí logických operácií:

3) Hodnota vírusu je vypočítateľná: F = l & 0 v (0 v 1) = 0

Vikonit doprava

Vyskúšajte logický vzor, ​​ktorý zodpovedá logickému vírusu, a nájdite význam logického vírusu:

A) F = A v B & C, kde A = 1, = 1, C = 1.

B) F = (A v B a C), pretože A = 0, = 1, C = 1.

B) F = A v B & C, kde A = 1, = 0, C = 1.

D) F = (Av) & (3 vB), pretože A = 0, B = 1, C = 0.

D) F = (A & & C), pretože A = 0, B = 0, C = 1.

E) F = (A & B & C) v (B & C vA), pretože A = 1, = 1, C = 0. G) F = B&A vs B&A, keďže A=0, B=0.

Zákony logiky

Ak je logickejšie vykonávať veľké množstvo operácií, potom bude ťažké vyplniť vašu pravdivostnú tabuľku, pretože musíte zoradiť veľa možností. V takýchto situáciách môže byť vzorec vyrobený ručne

zadok

Odpustite si logický výraz F= ((A v B) → (B v S)). Tento logický výraz je potrebné uviesť do normálnej podoby, pretože Existuje implikácia a postupnosť logických operácií.

1. Dôsledky a obmedzenia môžu byť odstránené. Zrýchlite (8). Viide: ((AvB)→(BvC))= (AvB)&(BvC).

2. Zákon uvedený v odseku 4 je opodstatnený. Odmietnuteľné: (AvB)&(BvC)= (AvB)&(BvC)

3. Stanovuje sa pravidlo distributivity (15). Odmietame:

(AvB)&(BvC)= (AvB)&Bv(AvB)&C.

4. Stanovuje sa zákon komutativnosti (17) a distributivity (15). Odmietnuté: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C.

5. Udržateľné (16) a zasúvateľné: A&BvB&BvA&CvB&C=A&BvBvA&CvB&C

6. Zastosuєmo (15), potom ho nesú ramená B. Otrimaєmo:

A&BvBv A&Cv B&C=B&(Av1)v A&Cv B&C

7. Stagnácia (6). Zamietnuté: B &(Avl)v A&Cv &C= Bv A&Cv &C.

8. Usporiadajte šišky na miestach, zoskupte ich a noste ich za ruky. Odmietame:
BvA&CvB&C = B&(1vC)vA&C.

9. Pozastavenie (6) a stiahnutie:

Verzia: F = ((A v) → (V v C)) = V v A & C.

Odpusť Virazovi:

1) F = (A & B) v (B v C).

2) F = (A -> B) v (B -> A).

3) F = A&C vA&C.

4) F = A vB v C v A v B v C.

5) F = (X & Yv (X & Y)).

6) F = X & (Y v X).

7) F = (XvZ) & (XvZ) & (YvZ).

10) F = B & C & (AvA).

11) F = A&B&CvAvB

12) F = (AvB) & (BvA) & (CvB)

Odpusť Virazovi:

1.F= A&C vA&C.

2. F = A ↔ B proti A&C

3. F=A& (B↔C)

4. F = (X v Y) & (Y ↔ X).

5.F= A vB vC v A v B v C.

6. F=(AvB) → (AvC)

7. F= A ↔ (V v C)

8. F = A&B → C&D.

9.F=(X & Y v (X & Y)).

10. F = (X v Y) & (Y v X).

11. F= A ↔ B & C

12. F = (A v B) & (B v A -> B).

13.F= X&(Y v X).

14. F = A → B proti A&C

15. F = X & Y v X.

16. F = ((X v Y) & (Z -> X)) & (Z v Y).

17.F=(XvZ) & (XvZ) & (YvZ).

18. F = A → (B v C)

19. F = A ↔ B v C

20. F = ((X v Y) & (Z v X)) & (Z -> Y).

21. F= (B & (A→C))

22. F = A → B proti A&C

23. F= A ↔ (V v C)

24. F = ((X v Y) & (Z v X)) & (Z v Y).

25,F=(A->B) v (B->A).

26. F = A&B&C&D.

27. F= A ↔(U v C)

28. F=A& (B->C).

29,F= A&(AvB)

30. F= A ↔ (V v C)

31. F = A → B v A & C

32. F = (A v B) & (B v A v B).

33.F= B&C& (AvA).

34. F= A&B proti A&C

35. F = X & Y ↔ X.

36. F = ((X v Y) & (Z → X)) & (Z ↔ Y).

37,F= A&B&CvAvB

38. F = (X -> Y) & (Y v X).

39. F = A → B a C

40. F = (A ↔ B) & (B proti A & B).

41,F=(AvB)&(BvA)& (CvB) .

42. F= A&B proti A&C

43. F=A& (BvC)

44. F = (X → Y) & (Y ↔ X).

45,F= Av(A&B)

46.​​F = A&B ↔ C&D.

47. F= A ↔(U v C)

48. F = (X & Y) v (Y & X).

Inštrukcie.
Pri zadávaní z klávesnice zadajte nasledujúce zápisy: Napríklad logický výraz abc+ab~c+a~bc je potrebné zadať takto: a*b*c+a*b=c+a=b*c

Ak chcete zadávať údaje zdanlivo logickým spôsobom, použite túto službu.

1. Pravidlá pre zavedenie logickej funkcie
2. Nahraďte symbol v (disjunkcia, ABO) znakom +.
3. Pred logickou funkciou nemusíte špecifikovať účel funkcie. Napríklad namiesto F(x,y)=(x|y)=(x^y) musíte zadať jednoducho (x|y)=(x^y) .

Maximálny počet výmen je 10.
Návrh a analýza logických obvodov EOM sa vykonáva popri špeciálnom odbore matematiky - logickej algebre. V algebre logiky môžete vidieť tri hlavné logické funkcie: „NOT“ (encorerment), „I“ (konjunkcia), „ABO“ (disjunkcia).
Na vytvorenie akéhokoľvek logického zariadenia je potrebné určiť obsah kože zo zmien výstupu z ostatných vstupov, takéto rozdelenie sa nazýva funkcia prepojenia alebo algebra logickej funkcie.
Funkcia logickej algebry sa nazýva pieseň, pretože je špecifikovaných všetkých 2 n hodnôt, kde n je počet výstupných premenných.
Keď je funkcia definovaná so špecifickým významom, funkcia sa nazýva čiastočne definovaná.
Zariadenie sa nazýva logické, pretože jeho štruktúra je opísaná pomocou dodatočnej algebry logickej funkcie.

• Na vyjadrenie funkcie algebry logiky použite nasledujúce metódy:
• slovný opis je forma, ktorá sa môže mentálne prejaviť v počiatočnom štádiu návrhu.
• popis funkcie logickej algebry ako pravdivostnej tabuľky.
  popis funkcií algebry logiky vo forme algebry: existujú dve algebraické formy FAL: A) DNF – disjunktívna normálna forma
  - Celý logický súčet elementárnych logických výtvorov. DNF sa získa z pravdivostnej tabuľky pomocou nasledujúceho algoritmu alebo pravidla:
  1) z tabuľky sa vyberú tie riadky, pre ktoré funkcia na výstupe = 1.
  2) pre kožný rad zmien sa zaznamená logické číslo; Okrem toho sa zmeny =0 zaznamenávajú s inverziou.
  Fdnf = X 1 * X 2 * X 3 ∨ X 1 x 2 X 3 ∨ X 1 X 2 x 3 ∨ X 1 X 2 X 3
  DNF sa nazýva dôkladné, pretože premenné majú rovnakú úroveň a poradie. Všetky zmeny v priamom alebo inverznom pohľade musia byť zahrnuté pred kožným testom.
  b) CNF – konjunktívna normálna forma- celý logický príjem elementárnych logických súm.
  CNF možno extrahovať z pravdivostnej tabuľky pomocou nasledujúceho algoritmu:
  1) vyberte sady premenných, ktorých funkcia na výstupe je = 0
  2) pre množinu skinov premenných sa zapíše elementárny logický súčet a premenné = 1 sa zapíšu inverziou.
  3) je logické znásobiť majetok sumy.
  Fsknf=(X 1 V X 2 V X 3) ∧ (X 1 V X 2 V X 3) ∧ (X 1 V X 2 V X 3) ∧ (X 1 V X 2 V X 3)
  KNF sa nazýva dôkladný pretože všetky zmeny podliehajú rovnakému poradiu.

Obrázok 1 - Schéma logického usporiadania

Všetky operácie algebry logiky sú vypočítané pravdivostné tabuľky význam Pravdivostná tabuľka zobrazuje výsledok zodpovedajúcej operácie pre každý je možný x logická hodnota výstupov. Počet možností, ktoré odrážajú výsledok operácie, je založený na počte logických výrazov. Keďže počet logických výrazov N je určený, pravdivostná tabuľka má 2 N riadkov, pričom zostáva 2 N rôznych kombinácií možných hodnôt argumentov.

Operácia NIE – logickejšia postupnosť (inverzia)

• Ak je výstup pravdivý, potom výsledok jeho potlačenia bude deštruktívny;
• Ak je výstup zlý, výsledok jeho zákazu bude pravdivý.

Operácia ABO - logické sčítanie (disjunkcia, integrácia)

Operácia I – logické násobenie (konjunkcia)

Operácia „YAKSHO-TO“ - logické pokračovanie (implicita)

Operácia „A potom a len vtedy, ak B“ (ekvivalencia, ekvivalencia)

Operácia „Dodatok pre modul 2“ (XOR, ktorý zahŕňa alebo inak disjunkciu)

Priorita logických operácií

• Akcie v chrámoch
• Inverzia
• Konjunkcia (&)
• Disjunkcia (V), ktorá zapne ABO (XOR), súčet za modulom 2
• Implikácia (→)
• Ekvivalencia (↔)

Normálna forma je úplne disjunktívna

1. Logickejšie je pridať vzorec tak, aby zahŕňal všetky zmeny obsiahnuté vo funkcii F(x 1 x 2 x x n).
2. Všetky logické dodatky k vzorcu rozmanitosti.
3. Je logickým doplnkom nepomstiť sa za zmenu a vyššie uvedený zoznam.
4. Je potrebné logické doplnenie vzorca, aby sme sa nepomstili tej istej dôležitej dcére.

Dôkladne konjunktívna normálna forma

1. Všetky elementárne disjunkcie musia byť zmenené pred funkciou F(x 1 ,x 2 ,...x n).
2. Všetky elementárne disjunkcie sú odlišné.
3. Je to elementárna disjunkcia raz sa pomstiť.
4. Táto elementárna disjunkcia nezasahuje do zmeny v tomto zozname.