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

This example demonstrates a network of Boolean blocks from package Modelica.Blocks.MathBoolean. Note, that

• at the right side of the model, several MathBoolean.ShowValue blocks are present, that visualize the actual value of the respective Boolean signal in a diagram animation ("green" means "true").
• the Boolean values of the input and output signals are visualized in the diagram animation, by the small "circles" close to the connectors. If a "circle" is "white", the signal is false. If a "circle" is "green", the signal is true.