数学ナビゲーター掲示板
(現在 過去ログ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 数学ナビゲーター