> > http://www.brl.ntt.co.jp/people/akihiro/hmath/LK.html
> > こういった規則を使って
> > 論理式の左右の真理値が常に等しい(恒等性がある)ことを証明するﾌﾟﾛｸﾞﾗﾑ
> 長いな(;´Д`)
> 無理

漏れはMathematica上で作らされた
これをC++とかで作ってみたい

参考：2002/01/13(日)22時33分02秒