Booleova algebra - História úprav

Lukas.p na 13:17, 26. máj 2020

2020-05-26T13:17:53Z

Matej.F: /* Zdroje */

2020-05-11T10:04:08Z

Zdroje

Matej.F: Zmenené premenné v programe na malé písmená

2020-04-16T11:27:00Z

Zmenené premenné v programe na malé písmená

Matej.F na 11:24, 16. apríl 2020

2020-04-16T11:24:04Z

Matej.F: Pridaný matematický príklad do funkcie OR a AND

2020-04-16T11:23:24Z

Pridaný matematický príklad do funkcie OR a AND

Juraj: /* Logický súčet (OR) */

2020-04-13T14:32:35Z

Logický súčet (OR)

Juraj: /* Logický súčin (AND) */

2020-04-13T14:30:18Z

Logický súčin (AND)

Matej.F na 21:20, 28. február 2020

2020-02-28T21:20:55Z

46.227.180.68 na 21:53, 25. február 2020

2020-02-25T21:53:46Z

Matej.F na 13:25, 25. február 2020

2020-02-25T13:25:50Z

@@ Riadok 1: / Riadok 1: @@
 [[Kategória:Študijné materiály]]
 [[Kategória:Informatika]]
 Slúži na matematický opis zákonov a pravidiel výrokovej logiky, ktorá rieši vzťahy medzi
 pravdivými a nepravdivými výrokmi. Pravdivému výroku prideľujeme logickú hodnotu 1

← Staršia verzia		Verzia zo dňa a času 10:04, 11. máj 2020
Riadok 207:		Riadok 207:
	</source>		</source>

−	==~~Zdroje~~==	+	==Referencie==

@@ Riadok 179: / Riadok 179: @@
 ==Príklad v jazyku C==
-Tento príklad zobrazuje, ako používať Booleovu algebru v jazyku C. Vstupy Booleovej algebry sú výrazy (A > B), (B > 2). Na začiatku programu je potrebné zadať dve čísla A a B, ktoré sa porovnávajú v daných výrazoch.
+Tento príklad zobrazuje, ako používať Booleovu algebru v jazyku C. Vstupy Booleovej algebry sú výrazy ''(a > b)'', ''(b > 2)''. Na začiatku programu je potrebné zadať dve čísla ''a'' a ''b'', ktoré sa porovnávajú v daných výrazoch.
 <source lang="c" line>
@@ Riadok 185: / Riadok 185: @@
 int main(void)
+{
-	int A = 0;
+	int a = 0;
-	int B = 0;
+	int b = 0;
 	printf("Zadaj cisla pre porovnanie: ");
-	scanf("%d %d", &A, &B); //načítanie dvoch čísiel
+	scanf("%d %d", &a, &b); //načítanie dvoch čísiel
-	//ak A > B a súčasne B > 2
+	//ak a > b a súčasne b > 2
-	if ((A > B) && (B > 2)) printf("(A > B) && (B > 2) je pravda\n");
+	if ((a > b) && (b > 2)) printf("(a > b) && (b > 2) je pravda\n");
-	else printf("(A > B) && (B > 2) je nepravda\n");
+	else printf("(a > b) && (b > 2) je nepravda\n");
-	//ak A > B alebo B > 2
+	//ak a > b alebo b > 2
-	if ((A > B) || (B > 2)) printf("(A > B) || (B > 2) je pravda\n");
+	if ((a > b) || (b > 2)) printf("(a > b) || (b > 2) je pravda\n");
-	else printf("(A > B) || (B > 2) je nepravda\n");
+	else printf("(a > b) || (b > 2) je nepravda\n");
-	//ak (A > B) negované
+	//ak (a > b) negované
-	if (!(A > B)) printf("!(A > B) je pravda\n");
+	if (!(a > b)) printf("!(a > b) je pravda\n");
-	else printf("!(A > B) je nepravda\n");
+	else printf("!(a > b) je nepravda\n");
 	return 0;

@@ Riadok 28: / Riadok 28: @@
 '''Matematický príklad:''' Majme dva intervaly čísel (0,5) a <3,8). Aký bude výsledný interval konjunkcie týchto dvoch intervalov?
 '''Riešenie''' Výsledný interval (0,5) ∧ <3,8) je <3,5).
@@ Riadok 50: / Riadok 51: @@
 '''Matematický príklad:''' Majme dva intervaly čísel (-1,2> a (3,8). Aký bude výsledný interval disjunkcie týchto dvoch intervalov?
 '''Riešenie''' Výsledný interval (-1,2> ∨ (2,8) je <-1,8).

@@ Riadok 26: / Riadok 26: @@
 | 1 || 1 || 1
 |}
 [[Súbor:Boolova algebra AND.png|Logický súčin|300px]]
@@ Riadok 45: / Riadok 48: @@
 | 1 || 1 || 1
 |}
 [[Súbor:Boolova algebra OR.png|300px|Logický súčet]]

@@ Riadok 31: / Riadok 31: @@
 ===Logický súčet (OR)===
-Odborne nazývaný '''logická disjunkcia'''. Označuje sa symbolom ∨ alebo + (v jazyku c/c++ je označená symbolom || pri podmienkach a symbolom | pri bitovom súčine), alebo sa používa pojem "alebo". Jeho výsledná hodnota Y je log. 1, ak aspoň jeden vstup A alebo B sú log. 1, inak je výsledkom log. 0.
+Odborne nazývaný '''logická disjunkcia'''. Označuje sa symbolom ∨ alebo + (v jazyku c/c++ je označená symbolom || pri podmienkach, resp. logickom súčte a symbolom | pri bitovom súčte), alebo sa používa pojem "alebo". Jeho výsledná hodnota Y je log. 1, ak aspoň jeden vstup A alebo B sú log. 1, inak je výsledkom log. 0.
 {| class="wikitable"
@@ Riadok 47: / Riadok 47: @@
 [[Súbor:Boolova algebra OR.png|300px|Logický súčet]]
 ===Logická negácia (NOT)===

@@ Riadok 10: / Riadok 10: @@
 ==Základné operácie==
-'''Logický súčin (AND)'''
+===Logický súčin (AND)===
-Odborne nazývaný '''logická konjukcia'''. Označuje sa symbolom ∧ alebo . ,prípadne * (v jazyku c/c++ je označená symbolom && pri podmienkach a symbolom & pri bitovom súčte), alebo sa používa pojem "a súčasne". Jeho výsledná hodnota Y je log. 1, ak oba vstupy A aj B sú log. 1, inak je výsledkom log. 0.
+Odborne nazývaný '''logická konjukcia'''. Označuje sa symbolom ∧ alebo . ,prípadne * (v jazyku c/c++ je označená symbolom && pri podmienkach a symbolom & pri bitovom súčte), alebo sa používa pojem "a súčasne". Jeho výsledná hodnota Y je log. 1, ak oba vstupy A aj B sú log. 1, inak je výsledkom log. 0. Pri počítaní Booleových rovníc má logický súčin prednosť pred logickým súčtom.
 {| class="wikitable"
@@ Riadok 30: / Riadok 30: @@
-'''Logický súčet (OR)'''
+===Logický súčet (OR)===
 Odborne nazývaný '''logická disjunkcia'''. Označuje sa symbolom ∨ alebo + (v jazyku c/c++ je označená symbolom || pri podmienkach a symbolom | pri bitovom súčine), alebo sa používa pojem "alebo". Jeho výsledná hodnota Y je log. 1, ak aspoň jeden vstup A alebo B sú log. 1, inak je výsledkom log. 0.
@@ Riadok 50: / Riadok 50: @@
-'''Logická negácia (NOT)'''
+===Logická negácia (NOT)===
 Označuje sa symbolom <math>\neg</math> alebo apostrofom ' (v jazyku c/c++ je označená symbolom ! pri podmienkach a symbolom ~ pri bitovej negácii).. Jeho výsledná hodnota Y je log. 1, ak vstup A je log.0, inak je výsledkom log. 1.
@@ Riadok 66: / Riadok 66: @@
 ==Zložitejšie logické operácie==
-'''Negovaný logický súčin (NAND)'''
+===Negovaný logický súčin (NAND)===
 Dá sa vyjadriť pomocou základných logických operácií: '''Y = <math>\neg</math>(A ∧ B)'''
@@ Riadok 84: / Riadok 84: @@
-'''Negovaný logický súčet (NOR)'''
+===Negovaný logický súčet (NOR)===
 Dá sa vyjadriť pomocou základných logických operácií: '''Y = <math>\neg</math>(A ∨ B)'''
@@ Riadok 102: / Riadok 102: @@
-'''Exkluzívny logický súčet (XOR)'''
+===Exkluzívny logický súčet (XOR)===
 Odborne nazývaný '''exkluzívna disjunkcia'''. Označuje sa symbolom ⊕ (v jazyku c/c++ je označená symbolom != pri podmienkach a symbolom ^ pri bitovom súčine), alebo sa používa pojem "nerovná sa". Jeho výsledná hodnota Y je log. 1, ak sa vstup A nerovná vstupu B, inak je výsledkom log. 0. Dá sa vyjadriť pomocou základných logických operácií: '''A ⊕ B = A ∧ <math>\neg</math>B ∨ <math>\neg</math>A ∧ B'''
@@ Riadok 120: / Riadok 120: @@
-'''Negovaný exkluzívny logický súčet (XNOR)'''
+===Negovaný exkluzívny logický súčet (XNOR)===
 V jazyku c/c++ sa používa označenie == v podmienkach, alebo sa používa pojem "rovná sa". Dá sa vyjadriť pomocou základných logických operácií: '''Y = <math>\neg</math>(A ⊕ B)'''