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

Esta página se muestra de forma limitada sin JavaScript.
Para utilizar esta página se necesita JavaScript.