LSP - 02 - Pravidlá Booleovej algebry

Zhrnutie prednášky

Prednáška predstavuje jedenásť základných pravidiel Booleovej algebry a ich význam v logike. Postupne sa prebratá komutatívnosť, asociatívnosť a distributívnosť súčtu a súčinu, zákon vylúčenia tretieho (a + ¬a = 1, a · ¬a = 0), zákony neutrality a agresivity logickej nuly a jednotky a zákon tautológie. Ďalej nasleduje zákon absorpcie, absorpcia negácie (overená pravdivostnou tabuľkou), zákon dvojitej negácie a nakoniec De Morganove zákony, ktorých dôkaz je odložený na ďalšiu epizódu. Pravidlá sú ilustrované jednoduchými príkladmi z bežného jazyka, napríklad vetou „vonku prší“.

• - Komutatívnosť a asociatívnosť: výsledok súčtu a súčinu nezávisí od poradia operandov ani od uzátvorkovania.
• - Distributívnosť zodpovedá roznásobovaniu a vynímaniu pred zátvorku.
• - Zákon vylúčenia tretieho: a + ¬a = 1 a a · ¬a = 0.
• - Neutralita a agresivita: a + 0 = a, a · 1 = a, a · 0 = 0, a + 1 = 1.
• - Zákon tautológie: a + a = a a a · a = a.
• - Zákon absorpcie: a + a·b = a a a·(a + b) = a.
• - Absorpcia negácie: a + ¬a·b = a + b, overiteľná pravdivostnou tabuľkou.
• - Zákon dvojitej negácie: ¬¬a = a; De Morganove zákony sú posledným pravidlom.

Zhrnutie pripravené s pomocou AI z prepisu videa.