いかさん > 此れで、(A==1 && B==1) || (C==1 && D==1) が TRUE に成りました。最初色々有った物が、最後に1個に成りましたね。此れを『収束』と謂う事に何か不都合は有りますか？ 了解です!! うーん。ちゃんと概念を把握してるのですね。すばらしい!! 情報工学ではこれは「還元(reduce)」と言います。 だからコンピュータ言語についてその概念を語る時は、「還元」という用語を使うことをオススメします!! 不都合はあります。話が通じないことです。