C++2a(C++20)コンセプトでは制約式(constraint-expression)に論理積(&&)／論理和(||)／論理否定(!)を表現できるが、制約式を用いたオーバーロード解決では通常の論理演算で期待される ド・モルガンの法則(De Morgan's laws) は適用されない。*1超要約：否定…