.Modelica_Requirements.LogicalBlocks.PropertyNot

Information

Property output y is the 3-valued logic not of the property input u:

y = not u

The "not" of a property value u is defined according to the following table (see also Wikipedia):

u	not u
Violated	Satisfied
Undecided	Undecided
Satisfied	Violated

Violated, Undecided, and Satisfied are elements of enumeration Property.

Example

This block is demonstrated with the following example:

results in

	simulation result