“当且仅当p,则q”的负判断的等值判断是()。 A、或者p或者qB、或者非p或者非qC、并非(如果p，则q)并且并非(只有p，才q)D、或者(p且非q)，或者(非p且q)
与“p→q”等值的判断有A. q←pB. ┐p∨qC. p∧qD. ┐q→┐p
“(p而且q)或者((并非p)而且(并非q))”等值于（）。A.并非(p并且q)B.并非(p或者q)C.并非(要么p，要么q)D.并非(p当且仅当q)
设p→q为假，p与q可能有的情况为（）。A.p真q假B.p假q真C.p真q真D.p假q假E.p与q等值
与"如果非p那么q"等值的判断是（）。A、只有q才pB、如果p那么qC、只有q才非pD、非p或者q
“并非（只有p，才非q）”等值于（）。A、p并且非qB、p并且qC、非p并且非qD、非p并且q
下列负判断的等值判断，其有效式是（）A、∧→p∨qB、p∨q→p∧qC、p∨q→（p∧q）∨（∧）D、p→q→∧qE、p←q→p∧
“并非（p当且仅当q）”等值于（）A、（p或者q）并且（非p或者非q）B、（p并且q）或者（非p并且非q）C、（p并且非q）或者（非p并且q）D、（p并且非q）并且（非p并且q）
命题形式～（p→（q←r））等值于（）。A、～（（p∧q）→r）B、p∧（～q∧～r）C、p∧（～q∧r）D、p∧（q∧～r）
在以下命题形式中，与p→q具有等值关系是（）。A、p∧qB、﹁p∧qC、p∨qD、﹁p∨q
一p∧q的等值判断有（）。A、p→qB、一（p←q）C、一（p→q）D、一（p∨q）E、一（q→p）
与（p→q）等值的命题形式有（）A、（~pVq）B、~（pV~q）C、（q←p）D、（~p←~q）E、（~q→~p）
～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）
并非（p并且q）的等值判断是（）。A、非p或者非qB、非p并且非qC、非p并且qD、p或者非q
并非（如果p那么q）的等值判断是（）。A、p并且非qB、非p并且qC、非p并且非qD、p或者q
下列与p∨﹁q想等值的命题是（）。A、﹁（p∧﹁q）B、﹁p∨qC、﹁（﹁p∧q）D、﹁（p→﹁q）
“并非（p或者q）”的等值判断是（）。A、如果p，那么非qB、并非只有q才非pC、p且非qD、并非如果非p，那么qE、并非只有非p才q
问答题试判断以下各式是否为重言式。 （1）（P→Q）→（Q→P） （2）P→（P→Q） （3）Q→（P→Q） （4）（P∧Q）→（P→Q） （5）（（P→Q）∨（R→Q））→（（P∨R）→Q） （6）（（P→Q）∨（（R→S））→（（P∨R）→（Q∨S））
多选题与（p→q）等值的命题形式有（）A（~pVq）B~（pV~q）C（q←p）D（~p←~q）E（~q→~p）
单选题与"如果非p那么q"等值的判断是（）。A只有q才pB如果p那么qC只有q才非pD非p或者q
多选题一p∧q的等值判断有（）。Ap→qB一（p←q）C一（p→q）D一（p∨q）E一（q→p）
单选题下列与p∨﹁q想等值的命题是（）。A﹁（p∧﹁q）B﹁p∨qC﹁（﹁p∧q）D﹁（p→﹁q）
问答题化简下面的公式。 （1）P∨（﹁P∨（Q∧﹁Q）） （2）（P∧Q∧R）∨（﹁P∧Q∧R） （3）（（P→Q）↔（﹁Q→﹁P））∧R （4）（（P→Q）↔（﹁Q→﹁P））∨R
单选题～（p→（q∨r））等值于（）。A（p∨（～q∧r））B（p∧（～q∧～r））C（p∧（～q∨～r））D（p∨（～q∨～r）
多选题下列负判断的等值判断，其有效式是（）A∧→p∨qBp∨q→p∧qCp∨q→（p∧q）∨（∧）Dp→q→∧qEp←q→p∧
单选题并非（p或者q）的等值判断是（）。A非p或者非qB非p并且非qC非p并且qDp或者非q
多选题（多选）下列等值式成立的有（ ）。AP→Q⇔¬Q→¬PBP∨（P∧R）⇔RCP∧（P→Q）⇔QDP→（Q→R）⇔（P∧Q）→R
单选题“并非（p当且仅当q）”等值于（）A（p或者q）并且（非p或者非q）B（p并且q）或者（非p并且非q）C（p并且非q）或者（非p并且q）D（p并且非q）并且（非p并且q）