複素数A, B が、P= |A|^2、Q = |B|^2　とするときに
P + Q = 1 を満たしています。
このとき、(P*logP) + (Q*logQ) は定数に定まりますか？
logの底は２です。お願いします。