Question

离散数学的公式化简后得出是什么类型?

Answer 1

((p→q)∧(q→r))→(p→r)

┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)

(┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)

((p∧┐q)∨(q∧┐r))∨(┐p∨r)

((p∧┐q)∨┐p)∨((q∧┐r)∨r)

((p∨┐p)∧(┐q∨┐p))∨((q∨r)∧(┐r∨r))

(1∧(┐q∨┐p))∨((q∨r)∧1)

(┐q∨┐p)∨(q∨r)

(┐q∨q)∨(┐p∨r)

1∨(┐p∨r)

1

即该命题公式是永真式.