block Not "Logical 'not': y = not u"
    extends Modelica.Blocks.Interfaces.PartialBooleanSISO_small;
    y = not u;

    annotation (
        defaultComponentName = "not1",
        Icon(graphics = {
                extent = {
                    {-98, 40}, 
                    {42, -40}},
                textString = "not")}),
        Documentation(info = "<html>\n<p>\nThe output is <strong>false</strong> if at least one input is <strong>true</strong>, otherwise\nthe output is <strong>true</strong>.\n</p>\n\n<p>\nThe input connector is a vector of Boolean input signals.\nWhen a connection line is drawn, the dimension of the input\nvector is enlarged by one and the connection is automatically\nconnected to this new free index (thanks to the\nconnectorSizing annotation).\n</p>\n\n<p>\nThe usage is demonstrated, e.g., in example\n<a href=\"modelica://Modelica.Blocks.Examples.BooleanNetwork1\">Modelica.Blocks.Examples.BooleanNetwork1</a>.\n</p>\n</html>"));
end Not;