Escreva a expressão lógica para a seguinte situação: Um alarme ( S ) deve tocar sempre que houver um aviso de temperatura elevada (T), pressão elevada § ou o botão de emergência (E) seja acionado, mas não quando exista um reconhecimento de alarme ®.
Passo 1
O enunciado pede para montar uma expressão em lógica proposicional para o alarme
. As variáveis são:
: aviso de temperatura elevada,
: aviso de pressão elevada,
: botão de emergência acionado,
: reconhecimento de alarme.
Queremos que seja verdadeiro sempre que houver
OU
OU
, mas NÃO se tivermos o reconhecimento
.
Queremos que
Passo 2
A parte “sempre que houver
OU
OU
” corresponde à disjunção lógica:
Passo 3
A parte “mas não quando existir um reconhecimento de alarme
” significa que devemos impedir o disparo se
for verdadeiro. Em lógica isso é feito com a negação de
:
Passo 4
Para combinar as duas condições — ter pelo menos um dos avisos (
,
ou
) E ao mesmo tempo não ter reconhecimento (
) — usamos a conjunção: