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

Ta stran je prikazana omejeno brez JavaScripta.
Ta stran zahteva uporabo JavaScripta.