Propagating C7

C8: ¬ rf ? ¬ uf

C7: ¬ ok ??¬ uf

C3: ¬ ok ? a

C6: ¬ ok ??¬ rf

C4: ¬ rf?? ia

C9: ¬ a ??¬ ia

C2: ¬ ia ? nco

C1: ¬ nci?? ¬ a ? nco

uf

ok

rf

a

ia

nci

nco

unknown

C10: ok

false

unknown

unknown

unknown

unknown

C11: rf

0

0

1

1

1

1

3

2

2

2

true

Supports

true literal

Previous slide

Next slide

Back to first slide

View graphic version