$ \neg (\neg (\eta \vee p) \wedge \neg (\eta \vee p)) \rightarrow (\eta \vee p $. Thus we obtain