Question

离散数学求助 等价式？(┐A∨(B∧C))∧(A∨(┐B∧┐C))

Answer 1

直接算就好了
用not X表示┐X, A+B表示A∨B, AB表示A∧B的话
(not A + BC)*(A+(not B)(not C))
=A*not A+ABC+(not A)(not B)(not C)+(BC)(not B)(notC)
而A(not A)=0, BC(not B)(notC)=0
所以上式就化简为ABC+(not A)(not B)(not C)，也就是（┐A∧┐B∧┐C）∨（A∧B∧C）

Answer 2

这是什么图呀难解哟

追问

(┐A∨(B∧C))∧(A∨(┐B∧┐C))
=（┐A∧┐B∧┐C）∨（A∧B∧C）
答案是这个 可是看不懂啊 和基本的等价公式不一样

Answer 3

你这个太难了，最好找大神哈！

追问

(┐A∨(B∧C))∧(A∨(┐B∧┐C))
=（┐A∧┐B∧┐C）∨（A∧B∧C）
答案是这个 可是看不懂啊 和基本的等价公式不一样