If then statements

Original: If it is red then it is not blue.
Inverse: if it is not red then it is blue.
Converse: if it is not blue then it is red
Contrapositive: if it is blue then it is not red.

All of these are true.
This is a biconditional statement.