blockPropertyNot
3-valued logic 'not' of Property input u: y = not u
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 |
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica_Requirements.Interfaces.PropertyInput | u | Property input signal | |
| Modelica_Requirements.Interfaces.PropertyOutput | y | Property output signal y = not u |