xz x`y` ∨∨ z` x`y`∨ z`y y`z xz ∨ ∨ `yx` y y`x x

Transcripción

xz x`y` ∨∨ z` x`y`∨ z`y y`z xz ∨ ∨ `yx` y y`x x