The format of the EXISTS function is:
EXISTS(X)
The EXISTS function is used in the Editor to make an existence connection to the object that is its parameter, but does not appear in the network.
An example:
EXISTS(A) EQV EXISTS(B) AND EXISTS(C)
Most of the logical structure is converted from Boolean logic links to existence links by the EXISTS functions. The link from the spine to the EQV is unchanged.
A conversion from existence to Boolean or vice versa can be made using the Boolex function.