首先,一个简单合取范式为真当且仅当所析取的每个命题(肯定或否定)都真,简单析取范式为假当且仅当每个都假。
然后,主析取范式为真需且只需其中某个简单合取范式为真,使真值取任意简单合取范式对应的真值组,主合取范式为假需且只需其中某个简单析取范式为假,即每个命题变项都取该简单析取范式的否定所对应的真值组。就这些吧
离散数学有效结论真值表法急求答案,帮忙回答下
首先,一个简单合取范式为真当且仅当所析取的每个命题(肯定或否定)都真,简单析取范式为假当且仅当每个都假。
然后,主析取范式为真需且只需其中某个简单合取范式为真,使真值取任意简单合取范式对应的真值组,主合取范式为假需且只需其中某个简单析取范式为假,即每个命题变项都取该简单析取范式的否定所对应的真值组。就这些吧