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

Iste pagina appare in un modo limitate sin JavaScript.
Iste pagina require le uso de JavaScript.