第17回 真理値表から論理式をつくる［前編］ | gihyo.jp

プログラミング言語では、論理を表現するために制御構文か論理式を使います。ところで、その制御構文や論理式は正しいのでしょうか。どうやって正しいことを確かめればよいのでしょうか。 今回は論理式の作り方と、その確認方法のひとつ、「⁠真理値表から論理式をつくる」を紹介します。真理値表をつくることで、もれなくだぶりなく場合を尽くして状態を記述しますから、正しく論理を表現できているかどうかの確認になります。正しさを確認した表から式を立てるわけですから、少々不格好ですが、論理式の正しさ・確実さを保証することが出来ます。 たとえていえば、真理値表による論理式の作成は、マニュアルに従って作るプレハブ住宅です。決まった方法で、決まった道具を使って組み立てれば、だれでも一応住むことが出来る住宅を作れます。形は不格好でも、目的を果たすものを作ることが出来る、ということが大切です。 それでは学習を始めましょう。 図

[hankentroma]

論理式の真理値表を導きだす方法