How to transform the statement to its equivalent if-then form?​