ЛОГИКИ в СДФ