Seol mar théacs é seo: Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich :