同値変形

ド・モルガンの法則ド・モルガンの法則A∨B⇔B∨Aを導きたいってこどネットを徘徊していたところ「論理和の交換法則はこの論理展開で行くんじゃない？」とヒントになりそうなものを発見しましたので共有します。ド・モルガンの法則の自然演繹です。1.A...