2013-09-16から1日間の記事一覧
ド・モルガンの法則 ¬(p∧q)←→(¬p∨¬q) ¬(p∨q)←→(¬p∧¬q) 証明(1) ¬(p∧q)→(¬p∨¬q) 1 2,4 p q ──── 3 p∧q ¬(p∧q) ───────── ⊥ ⊥ ──── 1 ──── 2 ¬p ¬q ──── ──── q∨¬q ¬p∨¬q ¬p∨¬q ──────────────── 4 ¬p∨¬q ─────────── 3 ¬(p∧q)→(¬p∨¬q) (2) (¬p∨¬q)→¬(p∧q) 1 1…
