質問: 命題変数をp,q,rとする論理式¬p∧(q∨¬(r∨p))の加法標準形を教えてください。 命題変数をp,q,rとする論理式¬p∧(q∨¬(r∨p))の加法標準形を教えてください。
回答: ¬p∧(q∨¬(r∨p)) =(¬p∧q)∨¬p∧{¬(r∨p)} =(¬p∧q)∨¬p∧(¬r∧¬p) = (¬p∧q)∨(¬p∧¬r)