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

JavaScript hiányában az oldal csökkentett verzióban jelenik meg.
Az oldal használatához JavaScript szükséges.
A lap eredeti címe: „https://www.wikifunctions.org/wiki/Special:ViewObject/hu/Z11225”