求主析取和主合取范式.

1、（p∧q）∨非r.
2、（（p∧q）∧（r∨非r)） ∨（非r∧（p∨非p）∧（q∨非q））.
3、（（p∧q∧r）∨（p∧q∧非r））∨（（非r∧p∧q）∨（非r∧p∧非q）∨（非r∧非p∧q）∨（非r∧非p∧非q））.
4（非p∧非q∧非r）∨（非p∧q∧非r）∨（p∧非q∧非r）∨（p∧q∧非r）∨（p∧q∧r）
5 m0∨m2∨m4∨m6∨m7
求标准合取范式
M1∧M3∧M5

交集是按照大家共同拥有的部分,这是交集
而并集是大家一起所拥有合起来的部分.
所以0.24∧1 结果是0.24
0.24∨0.22∨0.55结果是0.55
因为第一个是交集,即大家公共部分,取小的那一部分
第二个是并集,即大家合起来的部分.
若是满意,请采纳

离散忘光了,本来就不是很好.哎.
表达的蛮仔细的还有人看不懂,
只知道要把存在和全称量词都提取到括号外面,与表达式分离,其他忘光了.

P∨(┐P→(Q∨(┐Q→R))
P∨(┐┐P∨(Q∨(┐┐Q∨R))
P∨Q∨R
M0 (主合取范式)
m1∨m2∨m3∨m4∨m5∨m6∨m7 (主析取范式)

是的.异或是不可兼取的.
a b a xor b
0 0 0
0 1 1
1 0 1
1 1 0

在离散数学中：
T的真值指派为1,F的真值指派为0.
壹律：P∧T＝P;P∨F＝P .其本质上为任意命题合取真,析取假都还其本身.
零律：P∧F＝F;P∨T＝T .其本质上为任意命题合取假为假,析取真为真,其本身已不存在.

（p∧Q）∨┐R=（p∧Q∧R）∨(p∧Q∧┐R)∨(┐R∧P)∨(┐R∧┐P)
=（p∧Q∧R）∨(p∧Q∧┐R)∨(┐R∧P∧Q)∨(┐R∧P∧┐Q)∨(┐R∧┐P∧Q))∨(┐R∧┐P∧┐Q)
=（p∧Q∧R）∨(p∧Q∧┐R)∨(P∧┐Q∧┐R)∨(┐P∧Q∧┐R)∨(┐P∧┐Q∧
┐R)(标准析取范式),故该式的标准析取范式为
（p∧Q∧R）∨(p∧Q∧┐R)∨(P∧┐Q∧┐R)∨(┐P∧Q∧┐R)∨(┐P∧┐Q∧
┐R)
其中所含小项为m111,m110,m100,m010,m000,故标准合取范式的所含大项为
M001,M011,M101,故标准合取范式为
(P∨Q∨┐R)∧(P∨┐Q∨┐R)∧(┐P∨Q∨┐R)

Ca,a 表示从a 个数里面取a个数 共有集中选取方法,所以是1种
比如C2,1 =2 表示从2个数里面取1个,有2种取法

那找一组是最小连接词的,这三个条件加在一起没办法表示某些最小连接词就行了

我们这里从定义出发.
简单析（合）取式：仅由有限个文字构成的析（合）取式
合取范式：由有限个简单析取式构成的合取式
析取范式：由有限个简单合取式构成的析取式
（PVQ）VR不是合取范式,因为“合取式”条件不满足.
PVQVR既是合取范式也可以是析取范式,因为PVQVR可看做一个整体析取式,而单独一个整体既是合取式也可以是析取式,所以PVQVR是合取范式；又P,Q,R分开来看既是合取式也可以是析取式,并且V为析取符号,该式为析取式,所以PVQVR是析取范式.

¬P：教师不很明亮
P∧Q：教师很明亮且下雨要打伞
P∨Q：教师很明亮或下雨要打伞