例5 求(pAq)→(-(q)成真和成假指派。 解:令(p^q)→(-(qV)为a。 要使α为假,必须p~q为真且-(qv)为假。 从而p∧q必须为真,且q也必须为真。 故α的成假指派为(1,1,1)和(1,1,0) α的成真指派为(0,0,0)、(1,0,0)、(0,1,0) (0,0,1)、(0,1,1)、(1,0,1)。 定义8命题形式在所有可能的指派下所取值列成的 表称为真值表例5 求(p∧q) → (¬(q∨r))的成真和成假指派。 解：令(p∧q) → (¬(q∨r))为α。 要使α为假，必须p∧q为真且¬(q∨r)为假。 从而p∧q必须为真，且q∨r也必须为真。 故α的成假指派为(1，1，1)和(1，1，0). α的成真指派为(0，0，0)、(1，0，0)、(0，1，0)、 (0，0，1)、 (0，1，1)、(1，0，1)。 定义8 命题形式在所有可能的指派下所取值列成的 表称为真值表