情報数学 I (Martin J. Dürst): 2007年11月 9日出題、11月22日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       T       NAND(NAND(A,B))
  F       F       T       F       ?
  F       F       T       T       ?
  F       T       F       F       ?
  F       T       F       T       ?
  F       T       T       F       ?
  F       T       T       T       ?
  T       F       F       F       ?
  T       F       F       T       ?
  T       F       T       F       ?
  T       F       T       T       ?
  T       T       F       F       ?
  T       T       F       T       ?
  T       T       T       F       ?
  T       T       T       T       ?