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

This page displays in a limited way without JavaScript.
This page requires JavaScript to be used.