命题逻辑 how many rows are needed for the truth table of the compound statement(p∨¬q)↔[(¬r∧ s) → t] where p q r s and t are primitive statements

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/04 06:15:42
命题逻辑 how many rows are needed for the truth table of the compound statement(p∨¬q)↔[(¬r∧ s) → t] where p q r s and t are primitive statements

命题逻辑 how many rows are needed for the truth table of the compound statement(p∨¬q)↔[(¬r∧ s) → t] where p q r s and t are primitive statements
命题逻辑
how many rows are needed for the truth table of the compound statement
(p∨¬q)↔[(¬r∧ s) → t] where p q r s and t are primitive statements

命题逻辑 how many rows are needed for the truth table of the compound statement(p∨¬q)↔[(¬r∧ s) → t] where p q r s and t are primitive statements
化简后得:(p∨r∨¬s∨t)∧(¬p∨r∨¬s∨t)∧(p∨¬q∨¬r)∧(p∨¬q∨s)∧(p∨¬q∨¬t),因此真值表需要2^5 = 32行