* Validação de regras de automação: os sistemas automatizados de casas frequentemente são configurados com regras de automação que especificam o comportamento do sistema em diferentes cenários. As tabelas “verdade” podem ser usadas para validar essas regras, garantindo que elas produzam o resultado desejado em todas as situações possíveis.
Agora imagine a seguinte situação:
Um sistema automatizado de lâmpadas de uma residência possui a seguinte expressão lógica:
A U ~ (A U B U C)
Obs: o símbolo U é equivalente a disjunção.
Avaliação:
Para realizar esta atividade responda a seguinte questão: é possível dizer que as lâmpadas estarão acessas com quais entradas ligadas?
Obs: exiba a tabela verdade na resposta.
