(3)xFx & (4)xGx & non (Ex)Fx & Gx .C. (3 + 4)x.Fx . V . Gx

    Dies[w|e]r Ausdruck ist nicht dasselbe wie die Ersetzungsregel 3 + 4 = 7.