Provided that alice but not the hatter is cross unless mad, the hatter, but not alice, is mad unless frowning." how do you symbolize this sentence logically?

Well, it is a little tricky, but here is what I got:

(P ∨ R) ∧ ∼(S ∨ U) → (U ∨ T) ∧ ∼(R ∨ Q)

Explanation:

First the Symbols:

P: Alice is mad.

Q: Alice frowns.

R: Alice is mad

S: The hatter is cross

T: The hatter frowns

U: The Hatter is mad

*It is arbitrary, though, you can choose other symbols.

I think the difficult part is that the "but not the Hatter" means that the whole statement that applies to Alice is negated for the Hatter.

answer; the correct answer to the above statement is to increase the production of milk in a herd of milk cows, the highest producing cows were chosen as the mother;

giant impact theory - the moon was formed from the collision between earth and another mars-sized body.

colliding planetesimals hypothesis - the moon was formed from the same cloud of material as earth.

capture hypothesis - the moon was locked into orbit by earths gravity as it was passing by it.

accretion hypothesis - the moon was formed from collisions and combining of planetesimals.

i think this is right, if not and you know better let me know.