Ótima dica! Apesar de eu ter aprendido essa dica por simples experiência de ver código de gente mais esperta que eu (eu sou bem júnior ainda) e copiado a ideia só pra deixar o código mais enxuto e legível, eu nunca tinha visto como isso poderia ser representado com lógica proposicional, nem nunca vi nada de lógica proposicional ser convertido em código.

Mas, pra ser sincero, pelo menos até onde eu estudei sobre lógica, o tanto que ela pode ajudar na resolução de problemas algorítmicos ainda é um tanto limitado. Pode fazer toda a diferença pra quem tá começando com programação e ainda se enrola com estruturas de if/else, loops e coisas do tipo, mas ainda não consigo ver como essas estruturas formais ajudariam a reverter uma lista encadeada, por exemplo.