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

Ավելացվել է 6 բայտ ,  6 տարի առաջ
չ
կետադրական, ձևաչափ, փոխարինվեց: : → ։ (6)
(հեռացվել է Կատեգորիա:Մաթեմատիկա ՀոթՔաթ գործիքով)
չ (կետադրական, ձևաչափ, փոխարինվեց: : → ։ (6))
'''Բուլյան բանաձև''' ([[Ջորջ Բուլ]]ի անունով) — տրամաբանական արտահայտությունների բանաձև:բանաձև։ Կարող է ներառել տրամաբանական փոփոխականներ և պրոպոզիցիոնալ կապեր ([[կոնյունկցիա]] ("<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> բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր:դասեր։
 
[[Կատեգորիա:Բուլյան հանրահաշիվ]]
285 440

edits