এই পাঠটি: Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich :