計算機科学のブログ

命題論理論理式、論理式の略記、論理結合子、優先順位と括弧

本の表紙

情報系のための離散数学
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.2(論理式)、1.2.2(論理式の略記)、問題1.5、1.6の解答を求めてみる。

問1.5

a

((p \land q) \lor r)

b

((\neg p) \lor r)

c

((((p \land q) \lor r) \Rightarrow s) \Leftrightarrow (\neg v))

問1.16

\neg (p \lor q)

を括弧を省略せずに記述すると、

(\neg (p \lor q))

\neg p \lor q

を括弧を省略せずに記述すると、

((\neg p) \lor q)

よって異なる。