solve. with explanation.

Notice that the -- in this example is indented. Try deleting the space in front of it and see what happens. Fill in the Justification 0.1 1. -[P - Q) AS -(P + q) - P 2. 1 -[P + ) 3. P P-Q Submit( 0.2 A, (A . B) V ( BAC) , BODEDVE A 2 - B) V (B A C) IID VE Submit(