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

Den här sidan visas på ett begränsat sätt utan JavaScript
Denna sida kräver JavaScript för att användas.