Booleovské funkce a jejich aplikace