发送短信 : Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich :