Animated Logo

色々な表現

目次

論理変数と論理式

論理式の等しさ1

論理式の等しさ2

色々な表現

基本公式1

基本公式2

式の変形

標準形

TEST

論理式の表現のしかたは色々ありますのでどの方法にも違和感を感じないようにしましょう。

例えば not A の他の書き方として、

               _
         A    A    -A     A'
などがあります。A and B  の他の書きかたとして、 A・B    A B    A ∧ B などがあります。また A or B の他の
書きかたとして、A + B   A ∨ Bなどがあります。また xor の他の書きかたとして、
       .
         A  + B      A  B      (◯の中に+を書く、活字がないので省略)
などがあります。また imp の他の書きかたとして、  A ⇒ B   A → B   A ⊃ B などがあります。また eqv の
他の書きかたとして、
               A ⇔ B    A ≡ B    A <─> B     A = B 
などがあります。
論理式を手書きするときは A or B and not(A imp B and C or D) は
           ______
        A ∨ B A→ BC∨ D       のように書くと楽です。