Olá!!

A resposta correta é a de letra a. Absorção.

Bom, primeiramente seria interessante entender que as Regras de Inferência, estudo também denominado de Tautologia, é comumente utilizado em equações com a finalidade de retirar as redundâncias ou até mesmo disjunções e conjunções que podem acontecer nas mesmas.

Basicamente existem as dez regras que são utilizadas e para suas veracidades serem comprovados é feito o uso de tabelas-verdades. São as regras: Modus Ponens (MP); Modus Tollens (MT); Silogismo Hipotético (SH); Silogismo Disjuntivo (SD); Dilema Construtivo (DC); Dilema Destrutivo (DD); Absorção (ABS); Simplificação (SIMP); Conjunção (CONJ); e por fim Adição (AD).

Espero ter ajudado! Bons Estudos!