逆裏対偶なんて脇道はどうでもいいんだよ。
真理値を意味する整数型を算術演算したり数値を意味する整数型を論理演算するのはヘタ。
これでいいじゃん。