આગળ, અમે વિતરણ કાયદો લાગુ કરવાનું સૂચન કરીએ છીએ: (notC + C) * (notC + E) અમે ત્રીજા દૂર કરવાના કાયદાનો અમલ કરીએ છીએ: C + E