«Բուլյան բանաձև»–ի խմբագրումների տարբերություն

{{անաղբյուր}}

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

 

[[Կատեգորիա:Բուլյան հանրահաշիվ]]

[[Կատեգորիա:Մաթեմատիկական տրամաբանություն]]