Logic-based Nonlinear Image Processing