Question

用公式法化简为最简与或式

Answer 1

你好，很高兴回答你的问题：
a=非Ab=非Bc=非Cd=非D原式即:Abc+ab+Da+C+BD=Abc+C+ab+Da+BD=Abc+AbC+aC+BC+ab+Da+BD (C拆开)=Ab+aC+BC+ab+Da+BD=Ab+ab+aC+BC+Da+BD=b+aC+BC+Da+BD=b+(BC+BD)+(aC+Da)=b+B(C+D)+a(C+D)=b(C+D)+bcd+B(C+D)+a(C+D) (b拆开)=b(C+D)+B(C+D)+bcd+a(C+D)=C+D+bcd+a(C+D)=C+D+bcd
（答案可能不准，但我教你怎么做）
考纲要求

了解公式法化简逻辑式

课时计划

1课时

学习目标

1、了解逻辑函数的与或式
2、会用公式法化简逻辑式
学习重点

逻辑函数的与或式及公式法化简逻辑式

学习过程

观察分析

逻辑电路可以用逻辑函数来描述，而一个逻辑函数可以用多种不同形式的逻辑式表示.在逻辑电路设计中，往往需要把逻辑函数化为某种简单的形式.因为，利用简化后的逻辑函数表达式构成逻辑电路，可以节省器件，降低成本.

考点定位

最简与或式应满足以下两个条件：
1）表达式中所含的与项（乘积项）最少；
2）每个与项中的个数最少 .
求最简与或式的常用方法有并项法和消去法.

Answer 2

公式法如何保证得到最简式？如何鉴定公式为最简式？
我看，要用到一些对称性的公式组和一组完备的公理系统才能确保。我估计没有完全成熟与确定的系统化的方法。
当然基于真值表和卡诺图方法，再来研究与分析如何得到系统化的公式方法，最有希望。

我建议：
用真值表和卡诺图吧，找到了答案，再就容易根据卡诺图得到公式的过程了。