Se puede ver que la proposición compuesta formula_18 tiene valor de verdad verdadero siempre que las proposiciones simples tienen el mismo valor de verdad.