Abstrakt
Booleovská funkce f na n proměnných je reprezentována množinou I intervalů n-bitových nezáporných celých čísel, právě když platí následující podmínka: vektor x délky n je truepointem funkce f, právě když celé číslo m, jehož bitová reprezentace odpovídá x, je prvkem některého intervalu z I. V tomto článku prezentujeme polynomiální algoritmus, který rozpoznává, zda lze danou funkci, zadanou pomocí pozitivní primární DNF, reprezentovat pomocí 2-intervalů.