求析取范式和合取范式
发布网友
发布时间：2022-12-23 07:11
共2个回答
热心网友
时间：2024-12-05 02:33
⇔┐(┐( ┐AV ┐B)V(┐AV C)∧(AV┐ C))VB
⇔(( ┐AV ┐B)∧┐((┐AV C)∧(AV┐ C)))VB
⇔(( ┐AV ┐B)∧(┐(┐AV C)V┐(AV┐ C)))VB
⇔( ┐AV ┐B)∧((A∧┐C)V(┐A∧C))VB
⇔( ┐AV ┐B)∧(A∧┐C)V( ┐AV ┐B)∧(┐A∧C)VB
⇔┐A∧(A∧┐C)V┐B∧(A∧┐C)V ┐A∧(┐A∧C)V ┐B∧(┐A∧C)VB
⇔A∧┐B∧┐CV ┐A∧CV ┐A∧┐B∧CVB (析取范式)
⇔A∧┐B∧┐CV ┐A∧(┐BVB)∧CV ┐A∧┐B∧CVB∧(┐AVA)∧(┐CV C)
⇔A∧┐B∧┐CV┐A∧┐B∧CV┐A∧B∧CV ┐A∧┐B∧CV(┐A∧BVA∧B)∧(┐CV C)
⇔A∧┐B∧┐CV┐A∧┐B∧CV┐A∧B∧CV┐A∧B∧┐CV┐A∧B∧CVA∧B∧┐CVA∧B∧C
⇔┐A∧┐B∧CV┐A∧B∧┐CV┐A∧B∧CVA∧┐B∧┐CVA∧B∧┐CVA∧B∧C (主析取范式)
⇔m1Vm2Vm3Vm4Vm6Vm7 (主析取范式)
⇔∑（1,2,3,4,6,7） (主析取范式)
(( ┐AV ┐B)→(A↔C))→B
⇔┐(┐( ┐AV ┐B)V(┐AV C)∧(AV┐ C))VB
⇔(( ┐AV ┐B)∧┐((┐AV C)∧(AV┐ C)))VB
⇔(( ┐AV ┐B)∧(┐(┐AV C)V┐(AV┐ C)))VB
⇔( ┐AV ┐BVB)∧((A∧┐C)V(┐A∧C)VB)
⇔(A∧┐C)V(┐A∧C)VB
⇔((A∧┐C)V┐A)∧((A∧┐C)VC)VB
⇔(AV┐A)∧(┐AV┐C)∧(AVC)∧(┐CVC)VB
⇔(┐AV┐C)∧(AVC)VB
⇔(AVBVC) ∧(┐AVBV┐C) (合取范式 、主合取范式)
⇔M0∧M5 (主合取范式)
⇔ ∏（0,5） (主合取范式)
热心网友
时间：2024-12-05 02:33
