Tableauregeln mit Blocking
{"Image DocumentName": "Tableauregeln mit Blocking", "Image ImageDescription": "u : Wenn CuD 2 L(x) und {C,D} \u2288 L(x), dann setze L(x) = L(x) [ {C,D} t : Wenn CtD 2 L(x) und {C,D} \u00c5 L(x)=;, dann setze L(x) = L(x) [ {C} oder L(x) = L(x) [ {D} 9 : Wenn 9R.C 2 L(x) und x keinen R-Nachfolger y mit C 2 L(y) hat, dann f\u00fcge einen neuen Knoten y hinzu mit L(<x,y>) = {R} und L(y) = C. 8 : Wenn 8 R.C 2 L(x) und es gibt einen R-Nachfolger y von x mit C \u2209 L(y), dann setze. L(y) = L(y) [ {C} TBox: Ist C in der TBox und C \u2209 L(x), dann setze L(x) = L(x) [ {C} Regeln nur anwenden, falls x nicht geblockt ist!", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}