Xが実数のとき
X<0かつX≠-1⇔X<-1または-1<X<0
X<0またはX≠-1⇔X<-1かつ-1<X
で合ってますでしょうか?