>>808
同値なら真理表で終わりでいいなりよ?