Question: cx x is an employee of company xyz dx x...
- C(x): x is an employee of company XYZ
- D(x): x is paid for overtime
- M(x): x is not a manager
Translate the following logical expression into English:
∀x (C(x) --> (D(x) ∨ ¬ M(x)))