en not backward Boolean implication(F,T) = T Z11225
Testovací případ

Tato stránka se bez JavaScriptu zobrazuje jen v omezené podobě.
Tato stránka vyžaduje pro svou funkci JavaScript.
Citováno z „https://www.wikifunctions.org/wiki/Special:ViewObject/cs/Z11225“