Expressions of the second law of thermodynamics