en not backward Boolean implication(F,T) = T Z11225
en Test case

This page displays in a limited way without JavaScript.
This page requires JavaScript to be used.
「https://www.wikifunctions.org/wiki/Special:ViewObject/ryu/Z11225」から取(とぅ)い戻(むどぅ)すん