論理的な定数性について、説明して欲しいです。
ぐぐってもヒットしません。