Działania na zbiorach adan96: Udowodnij, że: (A\B)uC = ((AuC)\B)u(BnC) Zrobiłem tak: P=((AuC)nB')u(BnC)= (AnB')u(CnB')u(BnC)= (A\B)u(CuC)n(B'uB)= (A\B)u(C'')= (A\B)uC

Bleee: Trzecia linijka zbyteczna (CnB) u (CnB') = C

adan96: Ok, ale możesz wyjaśnić, dlaczego zostaje samo C. Jest na to jakiś wzór?