When you use the --> (implication) operator, the two statements depend on each other to determine the truth value of the statement ("IF A, THEN B"). However, if the second statement is true or the first is false, the combined truth value is true.

1. |
(1 = 1) --> (2 + 4 = 6) (TRUE) |
2. |
(2 + 2 = 4) --> (10 < 6) (FALSE) |
3. |
(10 < 6) --> (2 + 2 = 4) (TRUE) |
4. |
(10 < 6) --> (2 + 3 = 4) (TRUE) |
The following table is the truth table for the ---> operator.
Truth Table --> (Implication)
Statement A |
Statement B |
A --> B |
TRUE |
TRUE |
TRUE |
TRUE |
FALSE |
FALSE |
FALSE |
TRUE |
TRUE |
FALSE |
FALSE |
TRUE |
In the FI-SL application component, you use the --> (implication) operator when you want the system to check that based on the first statement, the second statement is true (before the system uses the data).
The following graphic uses a truth table for the --> (implication) operator to determine if a transaction is used for posting to a ledger.

If the transaction is for account 500000, the system checks if the transaction cost center is 150. If the cost center is not150, then the combined statement is FALSE and the data is not posted to the ledger. If the cost center is 150, then the combined statement is TRUE and the data is posted to the ledger.
If the transaction is not for account 500000 and is not for cost center 150, the combined statement is TRUE and the data is posted. If the transaction is not for account 500000 and is for cost center 150, the combined statement is TRUE and the data is posted.