0:00
難易度: 初級カテゴリ: 命題論理タイプ: 式入力

次の文を論理記号を用いて表現しなさい:

「紅茶かコーヒーのどちらか一方を選べますが、両方は選べません」

使用する記号:

  • H は「紅茶を選ぶ」
  • C は「コーヒーを選ぶ」
  • は選言(or)
  • は連言(and)
  • ! は否定(not)

計算機で使用可能な記号を使って答えを入力してください。