This information is part of the Modelica Standard Library maintained by the Modelica Association.

The nand gate is a basic CMOS building block. It consists of four CMOS transistors.

Reference:

Tietze, U.; Schenk, Ch.: Halbleiter-Schaltungstechnik. Springer-Verlag Berlin Heidelberg NewYork 1980, p. 157