Test case: Not Boolean implication: (true, false) is true Z11162
Test case (Z20)

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