[作业题][已完成]关于合取范式(CNF)

Question

这是一道作业题。我们可以将以下内容视为 CNF 吗？

(¬x ∧ y) ∧ (x ∨ z)

我觉得和A ∧ B一样是CNF，但是朋友不同意

Answer 1

根据https://en.wikipedia.org/wiki/Conjunctive_normal_form

(¬x ∧ y) ∧ (x ∨ z)

本身不是严格意义上的CNF，它需要连词从句的析取。

然而，根据关联规则，它等同于以下内容（(a ∧ b) ∧ c 等同于 a ∧ b ∧ c）。

¬x ∧ y ∧ (x ∨ z)

这可以被认为是 CNF，因为它是连词从句的析取，其中两个只包含一个文字，其中一个被否定。
请注意，CNF 不要求每个连词子句都包含所有文字。

所以简而言之：严格来说不是，实际上它只需要删除冗余 ()。