en not backward Boolean implication(T,T) = F Z11227
en Test case

Sem JavaScript esta página é apresentada com limitações.
Esta página requer o uso de JavaScript.