Բուլյան բանաձև

Կաղապար:Անաղբյուր Բուլյան բանաձև (Ջորջ Բուլի անունով) — տրամաբանական արտահայտությունների բանաձև։ Կարող է ներառել տրամաբանական փոփոխականներ և պրոպոզիցիոնալ կապեր (կոնյունկցիա ("$\wedge$"), դիզյունկցիա ("$\vee$"), ժխտում ("$\mathrm{\neg }$") և այլն)։ Բանաձևը անվանվում է ճշմարիտ (կեղծ), եթե այն ճշմարիտ է (կեղծ) ցանկացած փոփոխականների արժեքների դեպքում։ Երկու բուլյան բանաձև անվանվում են էկվիվալենտ (համարժեք) միայն այն դեպքում, երբ դրանք ճշմարիտ են միևնույն ենթաբազմության արժեքների բազմության համար։ Բուլյան բանաձևը կազմված n փոփոխականների համար, որոշում է բուլյան ֆունկցիան $E^n\to E$. $E=\{0;1\}$ - յուրաքանչյուր $x_i$ փոփոխականի արժեքների բազմություն. 0 արժեքը համապատասխանում է նրան, որ $x_i$ արժեքը կեղծ է, իսկ 1 արժեքը համապատասխանում է նրան, որ $x_i$ արժեքը ճշմարիտ է։ Գոյություն ունեն $2^{2^n}$ բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր։

Կաղապար:Անավարտ