Exemplo

Problema:

Um técnico de laboratório químico possui quatro produtos químicos, A, B , C e D, que devem ser guardados em dois depósitos. Por conveniência, é necessário mover um ou mais produtos de um depósito para o outro de tempos a tempos. A natureza dos produtos é tal que é perigoso guardar B e C juntos, a não ser que A esteja no mesmo depósito. Também é perigoso guardar C e D juntos se A não estiver no depósito. Escreva uma expressão para uma função, Z, tal que Z = 1 sempre que exista uma combinação perigosa em qualquer dos depósitos.

Resolução:

Há duas situações perigosas.

Situação 1: produto B + produto C + ausência de produto A : (BCA')

Situação 2: produto C + produto D + ausênica de produto A : (CDA')

Logo Z(A,B,CD) = BCA' + CDA' = CA'(B + D)