en not backward Boolean implication(F,T) = T Z11225
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/Z11225"