>>815
高校生ならベン図で示せばいいんじゃね？

正式には、x∈左辺 ⇔ x∈右辺 を示す。
すると同等の論理式 ¬(A∧B)＝(¬A)∨(¬B) が出るはずだが、
その証明には真理値表を使うことになる。

ちなみに、上の式が示せたら、下は式変形で出る。