とても丁寧な文章ですね。 僕もこころがけたいです。
ブール代数とは集合の演算と関係があるものなのですね。
ド・モルガンの法則はどんなに複雑に補集合が絡んでても 機械的に補集合の記号cをはずしていけるところがいいですよね。