en not backward Boolean implication(F,T) = T Z11225
en Test case

This page displays in a limited way without JavaScript.
Ushbu sahifadan foydalanish uchun JavaScript talab etiladi.