#help

Can someone explain how the distribution of the "not" symbol is working here?

#help

For Q3, I would've translated the embedded conditional as:

/NEA --> (OC --> PMPO)

If using the Domain + Rule technique, why is the domain not found by taking the outside sufficient condition (i.e., D: /NEA)?