Algebraická struktura se dvěma binárními a jednou unární operací
Dochází k zjednodušování logických funkcí
Mezi základní pravidla patří:
Absorbce
Asociativita
Distributivita
Neutrálnost 0 a 1
Idempotence
Absorbce negace
Absorbce
Zjednodušení při násobení nebo sčítání: $$A*(A+B) = A$$
Závorka je zde zbytečná, když bude A = 0 => 0*(0+B) = 0;A=1 => 1*(1+B) = 1, ať už bude B jakékoliv, tato rovnice se bude vždy rovnat hodnotě A
Asociativita
Když budu mít v celé rovnici jen sčítání nebo násobení, tak nemusím psát závorky a je jedno, v jakém pořadí budu vstupy sčítat
$$(A+B) + C = A + (B+C)$$
$$(AB)C = A(BC)$$
Distributivita
Jedná se o možnost rozložení závorky při sčítání a násobení
$$A*(BC) = AB + AC$$
$$A+(BC) = (A+B)*(A+C)$$