en not backward Boolean implication(T,T) = F Z11227
テストケース

このページは、JavaScriptを使用しないと限定的に表示されます。

このページではJavaScriptを使用する必要があります。