Implementacja dekompozycji formuły logicznej