After deleting C11

C4: ¬ rf?? ia

C8: ¬ rf ? ¬ uf

C7: ¬ ok ??¬ uf

C3: ¬ ok ? a

C6: ¬ ok ??¬ rf

C9: ¬ a ??¬ ia

C2: ¬ ia ? nco

C1: ¬ nci?? ¬ a ? nco

uf

ok

rf

a

ia

nci

nco

unknown

C10: ok

false

unknown

0

0

1

1

0

2

0

1

1

true

true

false

unknown

Previous slide

Back to first slide

View graphic version