12)

Habe eine Frage zum Tutorium 8.3
1.$\ OA^{+} :=\left\{ {\overline{OA} } \right\} \ \cup \left\{ {\overline{OP} } \right\} \wedge \overline{OA} c\overline{OP}$
2.$\ OA^{-} :=\left\{ {\overline{AZ ohne\overline{AO} } } \right\} und\overline{AO} c\overline{OP}$