Jump to content

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

From Wikifunctions