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

Denne siden har begrenset visning uten Javascript.
Denne siden krever at JavaScript er slått på.