CEDAR Logic: алгебраическая, сокращённая ДНФ и совершенные нормальные формы для фото