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

Tato stránka se bez JavaScriptu zobrazuje jen v omezené podobě.
Tato stránka vyžaduje pro svou funkci JavaScript.