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