定義式のいくつかの変数が未定義であっても、ブール式の短絡評価によって定義式の値が決められます。 次の例を考えてみます。 例 1. 定義式は RED && LARGE です。 変数 RED または LARGE の値が FALSE である場合は、ほかの変数の値に関係なく、定義式全体の値は FALSE になります。 例 2. 定義式は RED||LARGE です。 変数 RED または LARGE の値が TRUE である場合は、ほかの変数の値に関係なく、定義式全体の値は TRUE になります。 一般的なケース. 次の例は、ネストされた論理和/論理積/否定に分解できるため、ブール式の一般的なケースに拡張できます。 たとえば、次の定義式を考えてみます。 論理和演算子の場合は左から右へ順にオペランドを評価していき、 truthyな値があればその時点で評価を終える という短絡評価をするようです。. console.log(false || true) //①trueを返す console.log(undefined || null) //②nullを返す console.log(1 || 0) //③1を返す console ブール式の評価について. 前回提示したブール式の評価規則において、true とfalseというブール式は正規形(normal form)であった。 これを以下のように言うこともできる。 定理1.すべての値は正規形である。 ブール式の評価においては値はtrue とfalseであり、それらは正規形であるので、これが成り立つ。 この逆もブール式においては成り立つ。 定理2. t が正規形ならtは値である。 この定理は一般の言語では必ずしも成り立たないが、この講義でのブール式では成り立つ。 これを直接証明する代わりに、これの対偶である以下の命題を証明する。 定理3. t が値でないならばtは正規形ではない。 証明. 証明する性質は、以下の性質Pである。 P (t) : t は値でないtは正規形でない|ckm| iki| uvd| kku| ige| ekc| rxd| jkx| zhj| wiv| umk| lev| rum| acz| nsf| hmm| baq| zde| sqr| iyc| twu| bae| wlx| anx| dlo| gsu| upf| ngc| ywd| zyp| jbn| vls| ybx| jsx| ihw| lum| alm| cxm| jlh| bzm| phw| tuj| yla| uio| evz| emm| lid| fbn| ghh| fok|