en not backward Boolean implication(T,T) = F Z11227
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-formal/Z11227”