> > ((A∨B)∧(A∨C))→(A∨(B∧C))
> > 証明お願いします
> |(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時57分05秒