QUESTION $4$

$[5]$

Convert the following FOL sentence to Conjunctive Normal Form $($CNF$).$ Show every step and indicate the rule that you are using. The rules that you may use are De Morgan, not Elimination and the communicative, distributive and idempotence laws:

not$((not{E}^{{?}^{?}}F)vv(not{A}^{{?}^{?}}$notD$))$