Algebra logiky

Boolova Algebra - súhrn pravidiel a zákonov, ktoré umožňujú pracovať s logickými výrokmi ako s logickými premennými a funkciami formou algebraických operácií.

Vyjadrenie ľubovoľnej logickej funkcie pomocou troch základných funkcií:

• Logického súčtu
• Logického súčinu
• Negácie

Hľadisko - pravdivosti - 1,nepravdivosti - 0

Výrok - veta, pre ktorú ma zmysel otázka o jej pravdivosti alebo nepravdivosti.(Pr. vonku prší.)

Označenie výrokov- abecedné znaky Zložené výroky= jednoduché výroky spojené operačnými symbolmi (+, .,∪,∩, =,…).