V tomto článku dokazujeme, že každá boolovská funkce může být reprezentována formulí, která patří do třídy SLUR
