既然任何逻辑函数都可以化成最小项（最大项）标准式，那么，只要把等式左右两边分别化成最小项（最大项）标准式，如果形式一致，那么等式成立若不一致，则等式必然不成立而且，可以通过其中一个等式求最小项（最大项）标准式的过程反向推导，得到关于等式的证明的另一种形式至于求最小项标准式，方法很简单，只要在缺少某元素的项中乘上该元素与其取非后的结果的和即可如 AB+ABC=AB（C+！C）+ABC恒等式证明：AB+!AC+BC=AB+!AC证明：令 F（A,B,C）=AB+!AC+BC=AB(1)+!AC(1)+BC(1)=AB(C+!C)+!A(B+!B)C+(A+!A)BC=ABC+AB!C+!ABC+!A!BC令 G（A,B,C）=AB+!AC+BC=AB(1)+!AC(1)+BC(1)=AB(C+!C)+!A(B+!B)C+(A+!A)BC=ABC+AB!C+!ABC+!A!BC=ABC+AB!C+!ABC+!A!BC因为F(A,B,C)=G(A.B.C)所以上式恒成立此外AB+!AC+BC=AB(1)+!AC(1)+BC(1)=AB(C+!C)+!A(B+!B)C+(A+!A)BC=ABC+AB!C+!ABC+!A!BC=AB(C+!C)+!A(B+!B)C+(A+!A)BC=AB+!AC+BC=AB(1)+!AC(1)+BC(1)为顺序推导过程
}

选择擅长的领域继续答题？
{@each tagList as item}
${item.tagName}
{@/each}
手机回答更方便，互动更有趣，下载APP
提交成功是否继续回答问题？
手机回答更方便，互动更有趣，下载APP
展开全部F=A'BC+B'C+AC'+A=A'BC+(A+A')B'C+A(B+B')C'+A(B+B')(C+C')=A'BC+AB'C+A'B'C+ABC'+AB'C'+ABCABC为数据选择位。以上计算结果转换过来就是：m1,m3,m4,m5,m6,m7。因此所对应的D1,D3,D4,D5,D6,D7都应接1，而其余接0，便可满足Y端输出A'BC+B'C+AC'+A要求的。不知我的回答是否能让您满意已赞过已踩过你对这个回答的评价是？评论
收起推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
为你推荐：
下载百度知道APP，抢鲜体验使用百度知道APP，立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。扫描二维码下载
×个人、企业类侵权投诉
违法有害信息,请在下方选择后提交
类别色情低俗
涉嫌违法犯罪
时政信息不实
垃圾广告
低质灌水
我们会通过消息、邮箱等方式尽快将举报结果通知您。说明
做任务开宝箱累计完成0
个任务
10任务
50任务
100任务
200任务
任务列表加载中...
}