Na especificação de um sistema de controle de acesso, considere as proposições p: "o usuário possui credencial válida", q: "a autenticação biométrica foi confirmada" e r: "o acesso ao ambiente restrito é autorizado". A regra implementada pelo sistema é representada por ¬[p → (q ^ r)]. Uma expressão logicamente equivalente a essa regra é: