数学ナビゲーター掲示板
(現在 過去ログ1 を表示中)
HOME
HELP
新規作成
新着記事
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
No2744 の記事
■2744
/ )
Re[1]: 個数の処理
□投稿者/ moomin
一般人(12回)-(2005/08/10(Wed) 18:23:30)
http://user.ecc.u-tokyo.ac.jp/~g441069/HP/
■
No2743
に返信(恭子さんの記事)
「AまたはB」をA∨B、「AかつB」をA∧B
などと表せば
(A∨B)∧(C∨D)={A∧(C∨D)}∨{B∧(C∨D)}
={(A∧C)∨(A∧D)}∨{(B∧C)∨(B∧D)}
=(A∧C)∨(A∧D)∨(B∧C)∨(B∧D)
という変形によって成立します。
ここで、
分配律 (A∨B)∧C=(A∧C)∨(B∧C)
結合率 (A∨B)∨C=A∨(B∨C)=A∨B∨C
が∨、∧について成り立つことを用いました。
返信
/
引用返信
[メール受信/OFF]
削除キー/
編集
削除
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター