\((\overline{N}\land\overline{M})\to(\overline{M}\lor N)\)

Если обе части условия слева истинны, то \(\overline{M}\) истинно. Значит, истинна и правая часть \(\overline{M}\lor N\).

Следовательно, импликация истинна при любых значениях переменных: это тавтология.