r ➝ s - ∼ r ⋁ s, p ↔ q - (p ➝ q) ⋀ (q ➝ p), ∼q ➝ ∼p - p ➝ q, ∼(∼p) - p, ∼(p ⋀ q) - ∼p V ∼q, ∼(p V q) - ∼p ⋀ ∼q, p ⋀ q - q ⋀ p, p V q - q V p, (p ⋀ q) ⋀ r - p ⋀ (q ⋀ r), (p V q) V r - p V (q V r), p ⋀ (q V r) - (p ⋀ q) V (p ⋀ r), p V (q ⋀ r) - (p V q) ⋀ (p V r), s ⋀ s - s, t V t - t, r ⋀ T - r, q V F - q,

เกมจับคู่ รูปแบบประพจน์ที่สมมูลกัน

さんの投稿です
埋め込み

リーダーボード

表示スタイル

オプション

テンプレートを切り替える

自動保存: を復元しますか?