ブール代数の証明

質問

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

回答No.5

yaksa

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

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

回答No.4

elmclose

（２）については、真偽表を書けば
Ａ・／Ｂ＋／Ａ・Ｂ＝Ａex-orＢ
であることが言えると思います。

回答No.3

elmclose

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

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

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

補足

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

回答No.2

Ryou29

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

補足

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

回答No.1

graduate_student

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

補足

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