|
yo aber er hats verbessert :
(/A ^ B ^ /C) v (A ^ /B ^ /C) v (A ^ /B ^ C) v (A ^ B ^ C)
= (/A ^ B ^ /C) v [ A ^ { (/B ^ /C) v (/B ^ C) v (B ^ C) } ]
= (/A ^ B ^ /C) v [ A ^ { (/B ^ /C) v (/B ^ C) v (/B ^ C) v (B ^ C) } ]
= (/A ^ B ^ /C) v [ A ^ { {(/B ^ /C) v (/B ^ C)} v {(/B ^ C) v (B ^ C)} } ]
= (/A ^ B ^ /C) v [ A ^ { /B v C } ]
aber es schaut immer noch anders aus
|
|