Գրեք սա: Разработка метода бинарной декомпозиции функциональных предикатов