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.