A o B, Si A, entonces C, Si B, entonces D, Por lo tanto, C o D, Ejemplo: O Juan está en la Antártida o en Dubái. Si Juan está en la Antártida, entonces está en un sitio muy frío. Si Juan está en Dubái, entonces está en un sitio muy caluroso. Por lo tanto, Juan está en un sitio muy frío o está en un sitio muy caluroso.