前回の続き 前回挙げた16種類の論理演算と、 {True, False}の2つの値からなる集合とがなす16種類の代数構造のうち、 どれがモノイドや群なのかを調べた。 以下S = {True, False}とする1. 全てはマグマである 演算の結果がやはりSに属するので16種類全てがマ…