離散数学 (全109問中50問目)
No.50
論理式 (A＋B)・(A＋C) と等しいものはどれか。ここで，・論理積，＋は論理和，x はXの否定を表す。
出典：平成21年春期 問3
- A・B＋A・C
- A・B＋A・C
- (A＋B)・(A＋C)
- (A＋B)・(A＋C)
- [出題歴]
- 基本情報技術者 H23特別 問1
分類
テクノロジ系 » 基礎理論 » 離散数学
正解
ア
解説
集合の問題です。私はこの手の問題を解くときにはベン図を使って解くようにしています。
まず論理式 (A＋B)・(A＋C)の左部分と右部分の関係をベン図で表すと下図のようになります。
この2つの集合の共通部分の補集合が (A＋B)・(A＋C) でベン図では下図のようになります。
同様に選択肢の論理式をベン図で表すと、正解は「ア」であることがわかります。
まず論理式 (A＋B)・(A＋C)の左部分と右部分の関係をベン図で表すと下図のようになります。
