en not backward Boolean implication(T,T) = F Z11227
测试用例

此页面以没有JavaScript的方式显示
此页面需要使用JavaScript。
取自“https://www.wikifunctions.org/wiki/Special:ViewObject/zh-hans/Z11227”