Title: Logic-Based Nonlinear Image Processing