此処で少し用語の解説を仕て置く事に仕ます（出典を明記して置きます、原文の儘）。 ※ 論理式とは、論理演算子（論理結合子、論理記号とも呼ばれて居ます）に依って結合された物（静岡理工科大学総合情報学部より） ※ 真理値（しんりち、英:truth value）は、論理学の用語で、ある命題について、命題の内容が真であるかどうかを表す値のこと。英語のTrueとFalseからTを真としFを偽とすることがある。真偽値（しんぎち）、論理値（ろんりち、英:logical value）といわれることもある。それから転じて、様々なプログラミング言語で条件が真か偽かの表現や論理演算に用いられる。（ウィキペディア真理値より）