Detekce tautologie, výpočet komplementu booleovské funkce