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

Arddangosir y dudalen hon yn rhannol, heb JavaScript.
This page requires JavaScript to be used.
Wedi dod o "https://www.wikifunctions.org/wiki/Special:ViewObject/cy/Z11227"