[m]\begin{matrix}
x & y & x \land y & \lnot x \land \lnot y & (\lnot x \land \lnot y) -> (x \land y) \\
0 & 0 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 & 1 \\
1 & 0 & 0 & 0 & 1 \\
1 & 1 & 1 & 0 & 1 \\
\end{matrix}[/m]
Эта таблица истинности эквивалентна таблице x \/ y