true implied by false is true Z10356
Test case

From Wikifunctions
This page displays in a limited way without JavaScript.
Retrieved from "https://www.wikifunctions.org/w/index.php?title=Z10356&oldid=75721"