(p∨(q∧r))→(p∨q∨r)
<==> ﹁(p∨(q∧r))∨(p∨q∨r)
<==> (﹁p∧﹁(q∧r))∨(p∨q∨r)
<==> (﹁p∧(﹁q∨﹁r))∨(p∨q∨r)
<==> (﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∨q∨r)
<==> ((﹁p∧﹁q)∧(r∨﹁r))∨(﹁p∧(q∨﹁q)∧﹁r)∨(p∨q∨r)
<==> (﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(﹁p∧﹁q∧﹁r)∨(p∨q∨r)
<==> (﹁p∧﹁q∧﹁r)∨(﹁p∧﹁q∧r)∨(﹁p∧q∧﹁r)∨(p∨q∨r)
<==> m0∨m1∨m2∨m7
这就是。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024