Simplifier l'expression booléenne $ a + bar {a} bar {b} $?

Question

J'essaie donc de simplifier l'expression booléenne (1) $ A + bar {a} bar {b} $.

J'ai remarqué que par Karnaugh Maps, cela équivaut à $ A + bar {b} $, et j'ai également remarqué que si je prends le complément de (1), j'obtiens ~ (1) = $ bar {a} (a + b) = bar {a} a + bar {a} b = bar {a} b $, alors reprendre des compléments donne (1) = $ A + bar {b} $.

Mais cela me semble très ad hoc et me donne l'impression de manquer un point clé sur la façon de simplifier cette expression plus systématiquement.

Toutes les pensées appréciaient.

Merci.