> (p + p) → p
> p → (p + q)
> (p + q) → (q + p)
> (p → q) → ((r + p) → (r + q))

工学部に入学したてで計算機概論を今日受けた奴がいるな

参考：2004/04/12(月)02時10分18秒