2009年度 秋期 システムアーキテクト 午前I 問8

初期状態では S=1, R=1, X=0, Y=1 とありますが、S=1, R=1 という入力はSRラッチにおいて不定状態（どちらの状態になるか保証されない）と定義されています。しかし、問題文では「S をいったん0にした後、再び1に戻した」という操作後の状態を問うています。この操作は、S=0 の間に R=1 の影響でリセットされる（Y=0）ことを意図しています。その後、S=1 に戻すと、R=1 の影響が残っていれば Y=0 のままですが、S=1 によってセットされ、Y=1 になるはずです。しかし、問題文の初期状態Y=1から、S=1, R=1 の状態が続いていると仮定すると、SRラッチの特性としてS=1, R=1 の状態では出力が不定になることがあります。ここで「Sをいったん0にした」という操作は、ラッチの記憶をクリアする効果があります。そして、Sを再び1に戻した際、R=1 がアクティブな状態であれば、SRラッチはリセット状態、すなわち Y=0 に遷移します。X は Y の反転出力と考えると、Y=0 なので X=1 となります。したがって、X=1, Y=0 が正しい状態です。