Document

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:

			Resultado final
	q	q_2	q ∨ q_2
1.	V	V	F
2.	V	F	V
3.	F	V	V
4.	F	F	F