0:00
初級命題論理式入力

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

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

使用する記号:

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

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