Which Rule Is Used in the Following Inference A)Simp
B)Conj
C)Add
D)DS
E)HS

Multiple Choice

Which rule is used in the following inference? $\begin{array} { l } E \cdot ( F \vee G ) \\\underline { H \vee ( F \cdot G ) } \\{ [ E \cdot ( F \vee G ) ] \cdot [ H \vee ( F \cdot G ) ] }\end{array}$

A) Simp
B) Conj
C) Add
D) DS
E) HS