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

JavaScript hiányában az oldal csökkentett verzióban jelenik meg.
Az oldal használatához JavaScript szükséges.