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

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