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

This page displays in a limited way without JavaScript.
Эта страница требует использования JavaScript.
Кышец нӓлмӹ «https://www.wikifunctions.org/wiki/Special:ViewObject/mrj/Z11227»