Um estudante estava avaliando a sentença de álgebra proposicional abaixo:

\( (Z \rightarrow l ) \rightarrow K \)

Ao analisar a tabela verdade, ele pode generalizar a ramificação dos valores verdadeiros e falsos como: