New Document

.X{background-color:green}
.Y{background-color:blue}

.X .C {background-color:red}
.Y .C {background-color:yellow}

CLASS="X A" -> (X A) -> .X
CLASS="X B" -> ((X A) X B) -> .X
CLASS="C" -> (((X A) X B) C) -> .X .C

CLASS="Y B" -> ((X A) Y B) -> .Y
CLASS="C" -> (((X A) Y B) C) -> .Y .C

CLASS="Y A" -> (Y A) -> .Y
CLASS="X B" -> ((Y A) X B) -> .X
real: CLASS="C" -> (((Y A) X B) C) -> .Y .C
logisch: CLASS="C" -> (((Y A) X B) C) -> .X .C

real: CLASS="X C" -> (((Y A) X B) X C) -> .Y .C
logisch: CLASS="X C" -> (((Y A) X B) X C) -> .X .C

CLASS="Y B" -> ((Y A) Y B) -> .Y
CLASS="C" -> (((Y A) Y B) C) -> .Y .C