> > |(AＶB)∧(A∨C)
> > |(AＶB)
> > |  |A
> >       |A∨(B∧C)
> >    |B
> >       |A∨C
> >          |A
> >            |A∨(B∧C)
> >          |C
> >            |B∧C
> >            |A∨(B∧C)
> >       |A∨(B∧C)
> > |A∨(B∧C)
> > 見通し悪いんだ、これで勘弁しろよ
> こうだな、まちがえた

ｸｼｺヽ(´ー`)ノｸｼｺ

参考：2001/06/24(日)00時58分47秒