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 chover, irei ao cinema à tarde e ao supermercado à noite.
Se e somente se conseguir uma carona, pegarei meu carro na oficina e farei uma visita ao Lucas.
Analogamente, para esta estrutura algorítmica, tem-se:
Se e somente se for satisfeita a condição da opção ser 1, o programa executa o bloco de comandos q_1 e q_2.
Se e somente se for satisfeita a condição da opção ser 2, o programa executa o o bloco de comandos q_3 e q_4.
Se e somente se for satisfeita a condição da opção ser 3, o programa executa o bloco de comandos q_5 e q_6.
Note que a execução de qualquer um dos blocos de comandos exclui a possibilidade de execução de qualquer um dos outros blocos de comandos, característica esta que é coincidente com a regra da disjunção exclusiva. Além disso, já vimos que o comportamento da execução dos blocos de comandos corresponde à lógica da conjunção. Ou seja:
A tabela verdade abaixo mostra esta relação:
| X | Resultado final | |||
| A | B | C | A ∨ B | X ∨ C |
| V | V | V | F | V |
| V | V | F | F | F |
| V | F | V | V | F |
| V | F | F | V | V |
| F | V | V | V | F |
| F | V | F | V | V |
| F | F | V | F | V |
| F | F | F | F | F |
Sendo,
A: q_1 ∧ q_2
B: q_3 ∧ q_4
C: q_5 ∧ q_6