I would symbolize as follows:
(P & ~M) --》 (~M & ~P).
The consequent call also be written as ~(M v P) instead.
P = Pia hits.
M = Mia hits
V = Either . . . Or.
---》= IF . . . THEN.
The main connective above is the conditional. I tried using the conjunction as the main connective and derived only false values. The truth table for the above symbolization is identical to standard conditionals.
I would not say Pia misses is implied. All that is said is there is a relationship in a specific order that should be recognized.
One could also use this context:
(P & ~M) V (M V P).
This would yield a standard disjunction truth table.