(p∧q)∨r
⇔ (p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项
⇔ ((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律
⇔ (p∧q∧¬r)∨(p∧q∧r)∨((¬p∨p)∧(¬q∨q)∧r)
结合律⇔ (p∧q∧¬r)∨(p∧q∧r)∨((¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r)) 分配律
⇔ (p∧q∧¬r)∨(p∧q∧r)∨(¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r) 结合律
⇔ (p∧q∧¬r)∨(p∧q∧r)∨((¬p∧¬q∧r)∨(¬p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律
⇔ (p∧q∧¬r)∨(p∧q∧r)∨(¬p∧¬q∧r)∨(¬p∧q∧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)∨(p∧¬q∧r)∨(p∧q∧r) 结合律
⇔ (p∧q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂律
得到主析取范式