В OBBH, GGB1 при формировании предпосылок есть ряд кнопочек = ,<>, AND, OR,.... и другие
Какие фунукции у кнопок "-->" и "<->" ? Для чего они применяются? Если можете, приведите примеры

Operators
AND (conjunction)

When you use the AND operator (conjunction), both statements must be true for the combined statement to be true.

OR (disjunction)

When you use the OR operator (disjunction), at least one of your logical statements must be true for the combined statement to be true.

--> Implication

If you use the operator --> (implication) the extent to which the combined statement is true depends on the relationship between the two individual statements ("If A, then B"). The combined statement is always true if either the second individual statement is true (TRUE) or the first individual statement is not true (FALSE).

<-> Equivalenz You use the operator <-> (equivalence) if both individual statements must be either true (TRUE) or untrue (FALSE) for the combined statement to be true (TRUE).