特別講義2 資料1

馬目 洋一

2005年4月19日

論理記号は、１年生の教科書「コンピュータ概論」の「論理」(p.201 $\sim$ p.206)を参照すること。

論理積：

$P \land Q$は、「P かつ Q」である。
（英語では、P and Qである。）
この$\land$を略記して、$P \land Q$を$P \cdot Q$または$PQ$と表すこともある。

論理和：

$P \lor Q$は、「P または Q」である。
（英語では、 P or Qである。）

否定：

$\sim P$は、「Pでない」である。
（英語では、 not Pである。）