Artificial intelligent assistant

Absorption Law with Negation Would absorption law work for statements with neagations in them like $( \neg q \land \neg r) \lor r$?

Perhaps this is what you want: $$ ( \
eg Q \land \
eg R) \lor R = (\
eg Q \lor R) \land (\
eg R \lor R) $$

Note that $\
eg R \lor R$ is always true, so the above becomes: $$\
eg Q \lor R.$$

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 3773eae38a5da91834b983ad7973062d