લોજિકલ કાર્ય છે, કે જે સાચું છે માત્ર જો બંને આવનારા અભિવ્યક્તિઓ સમકક્ષ હોય છે, અને તે એક સમકક્ષતા છે.