命題 変数論理関数，つまり写像は通り存在する．証明 と書いた時点でほとんど明らかな気がするが，証明するには真理値表が何通り書けるかを考えればよい． からまでの通りの入力が，それぞれのどちらになるかを決めるので，通りになる． （証明終わり）蛇足 …