作业帮 > 数学 > 作业

一阶逻辑8转换到9是用置换法.但不应该是这样么

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/14 15:35:48
一阶逻辑

8转换到9是用置换法.但不应该是这样么
分配律A∨(B∧C) (A∨B)∧(A∨C)
把 否定(F(x)∧H(x))看成整体A.则8为 (A∨G(X))∧(A∨H(X)) A∨(G(X)∧H(X))
即否定(F(x)∧H(x))∨(G(X)∧H(X)),即为9.
有不懂的可再提问