A lógica booleana é também base do raciocínio das estruturas algorítmicas, que, por sua vez, são as células da fase de desenvolvimento dos softwares computacionais.
A seguir são abordadas as convergências de interpretações entre as regras das operações lógicas e as regras das estruturas algorítmicas, conforme detalhamento dos dois grandes grupos a seguir:
A lógica do raciocínio das operações condicional e bicondicional é correspondente à utilizada pelas estruturas algorítmicas de decisão, que atribuem ao programa a capacidade de decidir entre duas ou mais possibilidades de execução.
Perceba que a interpretação das estruturas de decisão parte da análise de uma condição. Relacionando com a lógica das proposições, uma condição tem que ser um pensamento completo, pronto para ser julgado como verdadeiro ou falso, conforme define o conceito de proposição lógica.
Além disso, os princípios da lógica das proposições são também preservados na interpretação da condição: uma condição ou é verdadeira ou é falsa, sendo excluída a possibilidade de um terceiro valor, além de não poder ser verdadeira e falsa ao mesmo tempo.
| Operação Lógica | Quando é verdade? | ||||
|---|---|---|---|---|---|
| p ∧ q | “e” | Conjunção | Quando ambos são verdade. | ||
| p ∨ q | “ou” | Disjunção | Quando pelo menos um dos dois for verdade. | ||
| p⊻q | “ou...ou” | Disjunção exclusiva | Quando apenas um dos dois é verdade. | ||
| p→q | “Se-então” | Condicional | Só é falso quando V→F. É verdade nos demais casos. | ||
| p↔q | “se somente se” | Bicondicional | Quando p e q possuem valores lógicos iguais. | ||
| ~p | “não” | Negação | Quando p é falso. | ||