Um escritório jurídico especializado em causas
cíveis possui três advogados: Dr. Andrade; Dra. Barros;
e Dr. Costa. Para otimizar o trabalho, os processos são
distribuídos entre eles, de acordo com as seguintes
regras lógicas.
I Se um processo envolve direito do consumidor,
então ou dr. Andrade ou dra. Barros deverá
atendê‑lo.
II Se um processo não envolve contratos, então dr.
Costa não deverá atendê‑lo.
III Se dra. Barros atende um processo, então ele não
envolverá direito de família.