Pruning

V = {v1,v2}

C = {v1 ? v2,v1 ? v2,v1 ? v2}

FF

FT

TF

F?

?T

?F

??

v1=F

TT

TT

Previous slide

Next slide

Back to first slide

View graphic version