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

Questa pagina viene visualizzata in modo limitato senza JavaScript.
Questa pagina richiede JavaScript per essere utilizzata.
Buggaddu da "https://www.wikifunctions.org/wiki/Special:ViewObject/sdc/Z11227"