离散数学怎样判断合取范式和析取范式？详细些谢谢啦

Question

如题所述

Answer 1

1、只要看式子中连接每一项的连接词是∧还是∨，连接词是∧则式子为合取范式，为∨是析取范式。
例如：(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式；
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式。

2、把一个式子写为合取范式或者析取范式，可以通过等价关系运算得出。

拓展材料：离散数学的学科内容

1．集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数

2．图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用

3．代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数

4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理

5．数理逻辑部分：命题逻辑、一阶谓词演算、消解原理

资料来源：百度词条离散数学

Answer 2

你的问题描述不是很明白
是不是想问如何判断一个式子是析取范式还是合取范式。
只要看式子中连接每一项的连接词是∧还是∨，连接词是∧ 则式子为合取范式，为∨是析取范式。
例如：(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式
如果你是要问 如何把一个式子写为合取范式或者析取范式，那建议你再看看书，可以通过等价关系运算得出。本回答被提问者采纳