\(P \wedge Q\text{.}\)
\(P \imp \neg Q\text{.}\)
Jack passed math or Jill passed math (or both).
If Jack and Jill did not both pass math, then Jill did.
Nothing else.
Jack did not pass math either.