Uma empresa deseja validar o registro de horas extras de seus empregados utilizando para tanto um sistema de ponto eletrônico. Um analista levantou com o dono da empresa as situações nas quais um período de hora-extra deve ser registrado como válido:

Segundo o levantamento obtido pelo analista, a expressão lógica mais simples para se validar um período de hora extra feita por um empregado da em-presa é: