色々な表現 | |
色々な表現
|
論理式の表現のしかたは色々ありますのでどの方法にも違和感を感じないようにしましょう。 例えば 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 のように書くと楽です。 |