«Բուլյան բանաձև»–ի խմբագրումների տարբերություն
չ հայերեն անվանում |
չ +{{անաղբյուր}} |
||
Տող 1. | Տող 1. | ||
{{անաղբյուր}} |
|||
'''Բուլյան բանաձև''' ([[Ջորջ Բուլ]]ի անունով) — տրամաբանական արտահայտությունների բանաձև։ Կարող է ներառել տրամաբանական փոփոխականներ և պրոպոզիցիոնալ կապեր ([[կոնյունկցիա]] ("<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> բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր։ |
'''Բուլյան բանաձև''' ([[Ջորջ Բուլ]]ի անունով) — տրամաբանական արտահայտությունների բանաձև։ Կարող է ներառել տրամաբանական փոփոխականներ և պրոպոզիցիոնալ կապեր ([[կոնյունկցիա]] ("<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> բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր։ |
||
23:05, 16 Մայիսի 2017-ի տարբերակ
Այս հոդվածն աղբյուրների կարիք ունի։ Դուք կարող եք բարելավել հոդվածը՝ գտնելով բերված տեղեկությունների հաստատումը վստահելի աղբյուրներում և ավելացնելով դրանց հղումները հոդվածին։ Անհիմն հղումները ենթակա են հեռացման։ |
Բուլյան բանաձև (Ջորջ Բուլի անունով) — տրամաբանական արտահայտությունների բանաձև։ Կարող է ներառել տրամաբանական փոփոխականներ և պրոպոզիցիոնալ կապեր (կոնյունկցիա (""), դիզյունկցիա (""), ժխտում ("") և այլն)։ Բանաձևը անվանվում է ճշմարիտ (կեղծ), եթե այն ճշմարիտ է (կեղծ) ցանկացած փոփոխականների արժեքների դեպքում։ Երկու բուլյան բանաձև անվանվում են էկվիվալենտ (համարժեք) միայն այն դեպքում, երբ դրանք ճշմարիտ են միևնույն ենթաբազմության արժեքների բազմության համար։ Բուլյան բանաձևը կազմված n փոփոխականների համար, որոշում է բուլյան ֆունկցիան . - յուրաքանչյուր փոփոխականի արժեքների բազմություն. 0 արժեքը համապատասխանում է նրան, որ արժեքը կեղծ է, իսկ 1 արժեքը համապատասխանում է նրան, որ արժեքը ճշմարիտ է։ Գոյություն ունեն բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր։