論理演算と真理値表

論理式の選択・設定

生成された真理値表

💡 命題論理記号と真偽値のルール

  • かつ ∧ (AND): P と Q の両方が真 (T) の時のみ真になります。
  • または ∨ (OR): P と Q の少なくとも一方が真 (T) の時に真になります。
  • ならば ⇒ (Implication): 「P が真で Q が偽」の時のみ偽 (F) となり、それ以外の時はすべて真になります。
  • 排他的論理和 ⊕ (XOR): P と Q の真偽が異なる時のみ真になります。