情報数学 I (Martin J. Dürst): 2009年10月23日出題、10月29日22:00 (厳守) 提出

[コピー・貼り付け用の記号: ∨, ∧, ¬]

第一問:

A = F   A = F   A = T   A = T
B = F   B = T   B = F   B = T   簡単な式

  F       F       F       F       F
  F       F       F       T     A ∧ B
  F       F       T       F       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  T       T       T       T       ?


第二門:

  A       B       C       D       サイコロ

  F       F       F       F       ?
  F       F       F       T       ?
  F       F       T       F       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  ?       ?       ?       ?       ?
  T       T       T       T       ?

サイコロ等で決めた論理関数の加法標準形:


サイコロ等で決めた論理関数の乗法標準形:


サイコロ等で決めた論理関数の単純化: