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

テクノロジハードウェア

この問題は2025(R7)秋 高度試験共通 午前Iに出題されたものです。出題時点の法令・制度に基づく内容のため、現行の内容と一致しない場合があります。

本ページの問題文・選択肢は、原本の体裁を Web 表示用に正規化しています(改行・記号・数式・図表参照の調整)。設問の趣旨および正解に影響する変更は加えていません。

組込みシステムのプログラムで,放された状態では 0 になり,押された状態では 1 になるスイッチの値を読み込んでいる。このプログラムによって,スイッチの値は周期的に適切なタイミングで読み込まれ,チャタリング処理などの適切な処理が行われるものとし,a が今回の値で,b が前回の値とする。このスイッチが放された状態から押された状態に変化したことを検出するための論理式はどれか。ここで,“・”は論理積,“+”は論理和,“ ̄”は論理否定を表す。

解答・解説を読む

正解: 選択肢

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

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

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

  1. 前回の値 bb0 (放された状態)
  2. 今回の値 aa1 (押された状態)

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

各選択肢の解説

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