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

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