論理関数

1. 定義

論理関数は、論理変数（0か1の値をとる変数）と論理演算（論理積・論理和・否定・排他的論理和など）を組み合わせて表現される関数です（DOM-1302（基本情報技術者試験シラバス Ver.9.2）テクノロジ系 大分類1 基礎理論 1.離散数学(5)論理演算、用語例「論理関数」）。入力値の組み合わせに対して0か1の出力を一意に定めます。

2. 仕組み

論理関数は真理値表で表現でき、入力変数の全組み合わせに対する出力を一覧化できます。同じ論理関数でも複数の論理式（AND・OR・NOTの組み合わせ）で表現できる場合があり、分配則やド・モルガンの法則を使って式を簡略化できます。

3. 検定試験での視点

論理式から真理値表を作成する手順、ド・モルガンの法則や分配則を使った簡略化の計算が問われます。

4. 紛らわしい制度・語との違い

真理値表との違いは役割です。論理関数は入力と出力の関係を定める「関数そのもの」であり、真理値表はその論理関数の入出力関係をすべて書き出した「一覧表」です。

5. 身近な例

セキュリティシステムで「窓が開いている、かつ、警戒モードがオンである」ときだけ警報を鳴らす条件は、論理積を使った論理関数の身近な例です。複数条件の組み合わせによる制御は、プログラムの条件分岐そのものです。