dzialania na zbiorach toznowuja: Witam. Mam do udowodnienia takie zadanko na zbiorach. Au(B\C)⇔[(AuB)\C]u(AnC) Wychodze z tego ze x nalezy do Au(B\C) czyli x∊A∨x∊(B\C)⇔x∊A⋁(x∊B⋀x∉C)⇔ ⇔(x∊A⋁x∊B)∧(x∊A⋁x∉C)⇔((x∊A⋁x∊B)⋀x∊A)⋁((x∊A⋁x∊B)⋀x∉C) W ostatecznosci wychodzi mi Au(AuB)\C ktos moze mi powiedziec co zle jest?

Maslanek: Sprawdź drugą równoważność Ona zdaje się kuleć Mamy 5*(2+3)=5*2+5*3

toznowuja: x∊A⋁(x∊B⋀x∉C)⇔(x∊A⋁x∊B)∧(x∊A⋁x∉C) o to chodzi? Jest to naprawde źle? Sprawdziłem w zeszycie i jest to prawo rozdzielności alternatywy względem koniunkcji. Mógłbyś mi napisać w którym dokładnie punkcie jest błąd?