La notacion formula_2 se utiliza frecuentemente como un conectivo u operador lógico, que permite combinar dos proposiciones más simples para generar una proposición compuesta de la forma formula_5, mientras que la segunda y tercera notación se emplean casi siempre para denotar la relación de equivalencia lógica entre dos proposiciones lógicas.