Um analista de sistemas está desenvolvendo um código que verifica a validade de um certificado digital. Para isso, ele precisa comparar duas condições: se a data de validade não expirou E se a assinatura digital é válida. A lógica implementada no sistema reflete a estrutura de uma proposição composta específica.