Booleova algebra: Rozdiel medzi revíziami

Z Kiwiki
Skočit na navigaci Skočit na vyhledávání
(Vytvorená stránka „Kategória:Študijné materiály Kategória:Informatika {{Skripta_ZI}}“)
 
Riadok 1: Riadok 1:
 
[[Kategória:Študijné materiály]]
 
[[Kategória:Študijné materiály]]
 
[[Kategória:Informatika]]
 
[[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
 +
a nepravidelnému výroku logickú hodnotu 0. Nositeľom elementárnej informácie
 +
o pravdivosti alebo nepravdivosti výroku je logická premenná, ktorá môže nadobúda dve
 +
hodnoty 0 a 1.<ref>https://encyklopediapoznania.sk/data/eknihy/matematika/boolova_algebra.pdf</ref>
 +
{{Skripta_ZI}}
 +
 +
==Základné operácie==
 +
'''Logický súčin (AND)'''
 +
 +
Odborne nazývaný '''logická konjukcia'''. Označuje sa symbolom ∧ (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.
 +
 +
{| class="wikitable"
 +
|-
 +
! A !! B !! Y = A ∧ B
 +
|-
 +
| 0 || 0 || 0
 +
|-
 +
| 0 || 1 || 0
 +
|-
 +
| 1 || 0 || 0
 +
|-
 +
| 1 || 1 || 1
 +
|}
 +
 +
[[Súbor:Boolova algebra AND.png|Logický súčin|300px]]
 +
 +
 +
'''Logický súčet (OR)'''
  
{{Skripta_ZI}}
+
Odborne nazývaný '''logická 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 "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"
 +
|-
 +
! A !! B !! Y = A ∨ B
 +
|-
 +
| 0 || 0 || 0
 +
|-
 +
| 0 || 1 || 1
 +
|-
 +
| 1 || 0 || 1
 +
|-
 +
| 1 || 1 || 1
 +
|}
 +
 
 +
[[Súbor:Boolova algebra OR.png|300px|Logický súčet]]
 +
 
 +
 
 +
'''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.
 +
 
 +
{| class="wikitable"
 +
|-
 +
! A !! Y = <math>\neg</math>A
 +
|-
 +
| 0 || 1
 +
|-
 +
| 1 || 0
 +
|}
 +
 
 +
==Zdroje==

Verzia zo dňa a času 15:08, 25. február 2020

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 a nepravidelnému výroku logickú hodnotu 0. Nositeľom elementárnej informácie o pravdivosti alebo nepravdivosti výroku je logická premenná, ktorá môže nadobúda dve hodnoty 0 a 1.[1]

Základné operácie

Logický súčin (AND)

Odborne nazývaný logická konjukcia. Označuje sa symbolom ∧ (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.

A B Y = A ∧ B
0 0 0
0 1 0
1 0 0
1 1 1

Logický súčin


Logický súčet (OR)

Odborne nazývaný logická 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 "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.

A B Y = A ∨ B
0 0 0
0 1 1
1 0 1
1 1 1

Logický súčet


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.

A Y = [math]\neg[/math]A
0 1
1 0

Zdroje