利用真值表法求主析取范式及主合取范式地实现
时间: 2023-04-21 18:05:47 浏览: 114
利用真值表法求主析取范式和主合取范式的实现步骤如下:
1. 给定逻辑表达式,列出其真值表。
2. 找出真值表中结果为真的行,将这些行的变量取反并相乘,得到主析取范式。
3. 找出真值表中结果为假的行,将这些行的变量不取反并相加,得到主合取范式。
例如,对于逻辑表达式 P ∧ Q ∨ ¬R,其真值表如下:
| P | Q | R | P ∧ Q | ¬R | P ∧ Q ∨ ¬R |
|---|---|---|-------|----|------------|
| | | | | 1 | 1 |
| | | 1 | | | |
| | 1 | | | 1 | 1 |
| | 1 | 1 | | | |
| 1 | | | | 1 | 1 |
| 1 | | 1 | | | |
| 1 | 1 | | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | | 1 |
根据真值表,可以得到主析取范式为 (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ ¬R) ∨ (P ∧ Q ∧ ¬R),主合取范式为 (¬P ∧ ¬Q ∧ ¬R) ∧ (¬P ∧ Q ∧ ¬R) ∧ (P ∧ ¬Q ∧ ¬R) ∧ (P ∧ Q ∧ ¬R)。
需要注意的是,当真值表中结果全为真或全为假时,主析取范式和主合取范式可以直接从逻辑表达式中得到。
阅读全文