論理変数と論理式

目次

論理変数と論理式

論理式の等しさ１

論理式の等しさ２

色々な表現

基本公式１

基本公式２

式の変形

標準形

　　　　　　　　　Ａ and not Ｂ or (Ｃ imp Ａ) xor Ａ

のようなものです。これもまた命題です。

論理学１では真を表すＴと偽を表すＦだけを含んだ論理式を紹介しました。ＴやＦも上のような論理式に含ますこともできます。

　　　　例　　　　Ａ or Ｂ and (Ａ imp Ｔ) or Ｆ

この場合Ｔは恒に真である特別の命題と考えます。そして恒真命題（tautology)といいます。また Ｆは恒偽命題です。これらは真理値が決まっていて変化しませんので、論理定数ということもあります。ＴやＦは論理変数と間違える恐れがある時はＴの代わりに True や １ を， Ｆの代わりに False や ０を使うこともあります。

論理式の演算順序は「論理学１ 論理式と演算順序」のところで述べたことと同じです。すなわち、（）の中を先に考え、以下 not, and, or, xor, imp, eqv の順に考えます。