ド・モルガンの法則について

質問

de Morganの法則：(∪_{α}F_{α})^c=∩_{α}F_{α}^c,(∩_{α}F_{α})^c=∪_{α}F_{α}^c
について勉強しようと思い、まずこの証明を知りたいのですが、どなたか教えてくれませんか？

回答No.1

noname#94461 · ベストアンサー

ド・モルガンの法則の法則自体については理解していますし、電子回路、論理回路も設計したことがあります。
但しここに記してある形の式は余り見たことがありません。
記号の説明を記したホームページを教えてください。

用語検索サイト　http://kotobank.jp/　で "ド・モルガンの法則"
(googleでも良いのですが)と入力すると幾つかのサイトが紹介れていますので参照してください。

集合論をやり、この書き方にしたがって論理を進めていく必要がどうしてもあるのならば別ですが、
ブール代数、電子回路、論理回路などを対象にされるのでしたら、
AND,OR,Not, 或いは2値論理上で +,・等を使ったもっと解りやすい形の式で進められたが良いと思われます。