Justification The justification for each step in the following argument is justified by one of the nine (numbered) equivalences corresponds to a logical equivalence seen in a previous section according to the following names: The first three are from the rearrangement section and the sixth is from the simplifying with True and False commutative associative distributive demorgan simplify simplifyTF implication Consider the following use of the core logical equivalences to simplify a logical expression: In each of the boxes below enter one of the words in the list given above matching the correct justifcation to the number of the logical move in the simplification. Be careful not to change the capitalization of the words in the list (only simplifyTF should have any capitals). 1 2 4 (pVg) ^ -p q = p PV g) +9 = (pap) (paq) = F(paq) = (pq) = -(19) VA = (PV) Va = pv (19) PVT T 6 7 8 9 commutative associative distributive demorgan simplify simplifyTF implication 1) 2) 3) 4) 5) 6) 7) 8) 9)