sed \
-e 's/\^/and/g' \
-e 's/v/or/g' \
-e 's/<=>/biimplies/g' \
-e 's/=>/implies/g' \
-e 's/-/not/g'