网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
矛盾式的优析取范式或重言式的优合取范式。例如矛盾式：
(p∨q)∧(q∨r)∧(p∧r)
其析取范式是：
(p∧q∧p∧r)∨(p∧r∧p∧r)∨(q∧q∧p∧r)∨(q∧r∧p∧r)
销去矛盾的简单合取，所得的优析取范式就是零公式。再如重言式：(p→q)→(q→p)
合取范式是：
(p∨q∨p)∧(q∨q∨p)
销去重言的简单析取，所得的优合取范式即是零公式。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。