Opravena dublirana logika