Um exemplo da lógica das proposições:
Se e somente se acordar cedo, irei à praia de manhã e irei almoçar fora.
Se e somente se não acordar cedo, irei ao cinema à tarde e ao supermercado à noite.
Analogamente, para esta estrutura algorítmica, tem-se:
Se e somente se a condição p for satisfeita, o programa executa o bloco de comandos q_1 e q_2.
Se e somente se a condição p não for satisfeita, o programa executa o bloco de comandos q_3 e q_4.
Note que a execução do bloco de comandos q_1 e q_2 exclui a possibilidade da execução do bloco de comandos q_3 e q_4, e vice-versa, característica esta que é coincidente com a regra da disjunção exclusiva. Além disso, é importante lembrar que o comportamento de execução dos blocos de comandos corresponde à lógica da conjunção. Ou seja:
A tabela verdade abaixo mostra esta relação:
| Resultado final | |||
| A | B | A ∨ B | |
| 1. | V | V | F | 2. | V | F | V |
| 3. | F | V | V | 4. | F | F | F |
Sendo,
A: q_1 ∧ q_2
B: q_3 ∧ q_4