3. Quatro produtos explosivos (X1, X2, X3 e X4) devem ser guardados em dois locais diferentes e é necessário trocá-los de lugar de vez em quando. ...

3. Quatro produtos explosivos (X1, X2, X3 e X4) devem ser guardados em dois locais diferentes e é necessário trocá-los de lugar de vez em quando. O problema é que X2 e X3 não podem estar no mesmo local a menos que X1 também esteja, assim como X2 e X4 não podem estar juntos a não ser que X1 também esteja. Escreva uma expressão para a variável de controle Y que retorne o valor lógico 1 sempre que uma situação perigosa ocorrer em qualquer um dos locais.