离散数学有效结论真值表法

297次

问题描述:

离散数学有效结论真值表法急求答案,帮忙回答下

最佳答案

推荐答案

首先,一个简单合取范式为真当且仅当所析取的每个命题(肯定或否定)都真,简单析取范式为假当且仅当每个都假。

然后,主析取范式为真需且只需其中某个简单合取范式为真,使真值取任意简单合取范式对应的真值组,主合取范式为假需且只需其中某个简单析取范式为假,即每个命题变项都取该简单析取范式的否定所对应的真值组。就这些吧

为你推荐