kurahaupo 1655645750 learn cabbage ∧ mayo ≡ ¬( ¬cabbage ∨ ¬mayo ) ≡ de Morgan Slaw