論理式をコード化してもそれだけなら何のメリットもないんじゃ?