Um exemplo da lógica das proposições:


Se e somente se acordar cedo, irei à praia de manhã.

Se e somente se não acordar cedo, irei ao cinema à tarde.

Analogamente, para esta estrutura algorítmica, tem-se:

Se e somente se a condição p for satisfeita, o programa executa o comando q.

Se e somente se a condição p não for satisfeita, o programa executa o comando q_2.

Note que a execução do comando q exclui a possibilidade da execução de q_2, característica esta que é coincidente com a regra da disjunção exclusiva. Ou seja:


q ∨ q_2

A tabela verdade de q ∨ q_2 representa esta relação:



Copyright © 2014 AIEC.