コンテンツにスキップ

論理演算子

出典: フリー百科事典『ウィキペディア(Wikipedia)』

論理演算子(ろんりえんざんし、: logical operator)は、コンピュータ・プログラミング命題論理[注釈 1]における論理演算演算子の総称である。

論理

[編集]

ベン図による論理積 (AND) ベン図による論理和 (OR) ベン図による論理否定 (NOT)

コンピュータ・プログラミング

[編集]

多くのプログラミング言語では、論理積論理和および否定のための演算子が用意されている。 C言語やその影響を受けた構文を持つ言語では、論理積の演算子に &&, 論理和の演算子に ||, 否定演算子に ! が用いられる。Pythonなどでは論理積の演算子に and, 論理和の演算子に or, 否定演算子 not が用いられる。

多くのプログラミング言語において、論理積および論理和の演算は短絡評価される。例えば、論理積 expr1 AND expr2 は左側の式から順に評価され、expr1 の値が偽なら expr2 を評価せず論理積の値を偽とする。同じく論理和 expr1 OR expr2 は左側の式から順に評価され、expr1 の値が真なら expr2 を評価せず論理和の値を真とする。

JavaC#では加えて、論理積の演算子として &, 論理和の演算子として | も使用できる。前者と後者の演算子の違いは、短絡評価を行うかどうかである。Java などの言語において、&& および || は短絡評価を行い、& および | は短絡評価を行わない。

注釈

[編集]