Transformar uma declaração em linguagem natural para Fórmula Bem Formada (FBF) pode ser um processo bastante complicado, uma vez que requer um complexo processo de casamento entre os seus predicados.
Se a fórmula estiver em um formato mais simples, é mais fácil desenvolver um processo de raciocínio a partir dela ou sobre ela e esse formato mais simples inclui menos aninhamento dos componentes e quantificadores separados do resto da fórmula para que possam ser desconsiderados.
Esse processo de simplificar uma expressão/declaração complexa é chamado de transformação em forma clausal lógica ou forma normal conjuntiva.
A partir dessas informações, aplique o passo a passo necessário para transformar a proposição dada a seguir para a forma normal conjuntiva, conforme apresentado nesta disciplina.

Vagb(~P (a, b) v Q (a, b)) → R (a, b)