Math [作业问题][已完成]关于连接范式（CNF）

这是一个家庭作业问题。我们可以把下面的内容看作CNF吗？

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

我认为这是一个CNF，就像

a一样∧ 但是我的朋友不同意我的意见。
根据

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

然而，根据关联规则（
（a）），它相当于以下内容∧ （b）∧ c
相当于a∧ B∧ c

）

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

---

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

（）

，你怎么看，为什么？CNF的定义是什么？这个公式满足它吗？我认为它是一个CNF，但我的朋友不同意我的观点。如果你认为这是一个CNF，请在这里写下你的证明（在问题中）。非常精确。我们要么确认，要么告诉你哪里出错。我已经试着解释了原因，但可能没有那么具体，因为这不是一个真正复杂的问题。如果这个问题让你感到不舒服，我很抱歉。我投票将这个问题作为离题来结束，因为它与编程没有直接关系，它太广泛，而且是一个家庭作业问题。虽然我知道匿名否决票是游戏的一部分，但我请否决票给出理由。我也不确定为什么否决票会被否决。我认为这提出了一个正确的观点。

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

¬x ∧ y ∧ (x ∨ z)