$5\mathrm{.}1$: Reduce the proposition using laws.

this tool?

Jump to level $1$

Simplify $(n^{{?}^{?}}q)vv(not{q}^{{?}^{?}}n)$ to $n$

Select a next law from the right to apply $(n^{{?}^{?}}q)vv(not{q}^{{?}^{?}}n)$

$(not{q}^{{?}^{?}}n)vv(n^{{?}^{?}}q)$

UNDO LAW