■課題11

2005年12月13日(火曜) 第十一回課題

提出日:2005年12月20日(火曜)


以下を簡単化しなさい.
1. ¬(¬p∧q)∧(p∨q)
2. (p∨(¬p∨q))∧¬(q∧¬r)
3. p∧q→¬p


また,以下が同値であることを証明しなさい
(p∨q)→r⇔(p→r)∧(q→r)


質問等はTA/SAまで