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

Content deleted Content added

Գծային

16:41, 19 Դեկտեմբերի 2015-ի տարբերակ

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

06:39, 29 Մարտի 2015-ի տարբերակ խմբագրել BekoBot (Քննարկում \| ներդրում) Բոտեր 325 574 edits չ կետադրական, ձևաչափ, փոխարինվեց: : → ։ (6) ← Նախորդ տարբ		16:41, 19 Դեկտեմբերի 2015-ի տարբերակ խմբագրել հետ շրջել BekoBot (Քննարկում \| ներդրում) Բոտեր 325 574 edits մանր-մունր, փոխարինվեց: → oգտվելով ԱՎԲ Հաջորդ տարբ →
Տող 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> բուլյան ֆունկցիաներ, այդ պատճառով գոյություն ունեն այդ նույն քանակությամբ էկվիվալենտ (համարժեք) բուլյան բանաձևերի դասեր։

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