>>737
何が言いたいのか分かりませんが、式に解となる変数の値を代入したときの
論理値と、解とは別物ですよ