离散数学问题,一阶逻辑

8转换到9是用置换法。但不应该是这样么
2025-03-04 12:33:54
推荐回答(1个)
回答1:

分配律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.
有不懂的可再提问