Convert the following sentence into formal logic.






Which of the following is the correct form?