please answer in details

Ques3 (a) Use rules of inference and suitable axioms to derive the solution to the following problem. You want to throw a party, respecting people's incompatibilities. You know that (1) Johnny comes if Mary or Anny comes. (ii) Anny comes if Mary does not come. (iii) If Anny comes, Johny does not Can you invite people under these constraints? [5]