ブール代数の証明

(1)A・B+C(A・B+/C)=A・B
(2)A・/B+/A・B
となるみたいなのですが、何を加えるかと、途中の式が分かりません。できるだけ早く教えてください、お願いします。

No.5 回答者： yaksa 回答日時： 2004/09/26 23:50

こういう問題は、まず、

証明の定義や使っていい公理を示してくれないと証明しようないです。
公理が示されない状態で証明？を示すことに、
意味はありません。

まあ、その上で無理やりやるなら、＃３の方の通りですね。

No.4 回答者： elmclose 回答日時： 2004/09/26 23:09

（２）については、真偽表を書けば

Ａ・／Ｂ＋／Ａ・Ｂ＝Ａex-orＢ
であることが言えると思います。

No.3 回答者： elmclose 回答日時： 2004/09/26 21:08

記号「／」は否定の意味でしょうか。

（１）は、
左辺第２項に分配則を適用すると、
右辺に導けます。
ちなみに、
　Ｔ＋ｘ＝Ｔ　（ｘは変数）
　ｘ・／ｘ＝Ｆ
です。

（２）は、単なる論理式であり、等式に
なってませんが・・・

この回答への補足

記号「／」は否定の意味です。
(1)は途中の式も教えていただけたら幸いです。
(2)は書き間違えてました。すみません。
正しくは、Ａ・／Ｂ＋／Ａ・Ｂ＝Ａex-orＢを
導きたいのですが…お願いします。

補足日時：2004/09/26 22:57

No.2 回答者： Ryou29 回答日時： 2004/09/26 20:56

"何を加えるかと" 意味が分かりません！

この回答への補足

(1)はブール代数のa+1かa・/Aをつけたして展開したりして左辺を右辺にするようです。
(2)は式を間違えました。正しくは、
Ａ・／Ｂ＋／Ａ・Ｂ＝Aex-orB
になるように導くようです。
よろしくお願いします。

補足日時：2004/09/26 22:51

No.1 回答者： graduate_student 回答日時： 2004/09/26 20:43

記号の意味がわかりません．→「/C」

この回答への補足

/CはＣの否定です。
(2)は書き間違えてしまいました。
正しくは、
Ａ・／Ｂ＋／Ａ・Ｂ＝Ａex-orＢを
導きたいのですが…。お願いします。

補足日時：2004/09/26 22:55