Duen forma logikoaren ondorioz beti egiazkoa den proposizio konposatua, zein ere diren hura osatzen duten esakune bakunen egia-balioak. Esaterako, p ∨ ¬p (edo euria ari du edo ez du ari).