わさっきhb

大学(教育研究)とか ,親馬鹿とか,和歌山とか,とか,とか.

同値は結合的?

 いきなりですが問題です.

 二項演算⇔を,以下の真理値表のとおり定義します.
f:id:takehikom:20190515200422j:plain
 この演算について,次の4つのうちどれが正しいでしょうか.

  • 可換性・結合性をともに満たす.
  • 可換性を満たし結合性を満たさない.
  • 可換性を満たさず結合性を満たす.
  • 可換性・結合性をともに満たさない.
続きを読む