સાધ્ય સ્થિતિઓ સાથે અને ચોક્કસ આઉટપુટ સચ્ચાઈ પ્રમાણિત કરે છે.