Title: Drzewiaste struktury informacyjne w algorytmach syntezy logicznej