令和7年度 秋期 プロジェクトマネージャ試験 データベーススペシャリスト試験 エンベデッドシステムスペシャリスト試験 システム監査技術者試験 情報処理安全確保支援士試験 午前Ⅰ 問題【共通】 問7

スイッチの各状態と変数 $a$、$b$ の関係を整理します。

• 放された状態： 0
• 押された状態： 1

問題文より、スイッチが 放された状態から押された状態に変化したこと を検出します。
つまり、以下の2つの条件を同時に満たす必要があります。

1. 前回の値 $b$ が 0 （放された状態）
2. 今回の値 $a$ が 1 （押された状態）

これを論理式で表すには、$a = 1$ かつ $b = 0$ のときに全体が $1$ （真）になる式を導きます。
$b$ が 0 のときに $1$ にするためには、$b$ の 論理否定 （$\overline{b}$）を用います。
さらに、両方の条件を同時に満たす必要があるため、 論理積 （$\cdot$）で結びます。
したがって、求める論理式は $a \cdot \overline{b}$ となります。

各選択肢の解説

• ア：正解です。$a=1$ かつ $b=0$ のときに真となるため、「放された状態から押された状態への変化」を検出します。
• イ：$\overline{a} \cdot b$ は、$a=0$ かつ $b=1$ のときに真となります。これは「押された状態から放された状態への変化」を検出する論理式です。
• ウ：$a + \overline{b}$ は、$a=1$ または $b=0$ のときに真となります。これは「今回が押された状態、または前回が放された状態」の 論理和 であり、いずれか（あるいは両方）を満たす場合に真となる論理式です。
• エ：$\overline{a} + b$ は、$a=0$ または $b=1$ のときに真となります。これは「今回が放された状態、または前回が押された状態」のいずれか（あるいは両方）を満たす場合に真となる論理式です。