0

1

2

3

4

(x + y + z)

(¬x + z + ¬t)

(x + ¬y + t)

(x + ¬y + ¬t)

(y + z + t)

x: t

x: ¬y + y

y: ¬z

x: ¬z

y: ¬x

y: ¬t + t

t: ¬y

t: 1

y: ¬z

t: x

t: 1