CodingBatで演習を行っています。このページでは、ソリューションに次のような言及があります。
// The above can be shortened to:
// return ((aSmile && bSmile) || (!aSmile && !bSmile));
// Or this very short version (think about how this is the same as the above)
// return (aSmile == bSmile);
ショートバージョンを説明するルールはありますか?論理積から等号にどのように移行しますか?