There is a certain premise which I am unable to represent correctly as propositional logic:
"When I play basketball, I wear my sneakers; otherwise, I never wear it."
(PlayBasketBall -> WearSneakers) <-> (-PlayBasketBall -> -WearSneakers)
What changes do I need to make in order to represent it correctly?