udowodnij prawo Robert : Udowodnić A\(B∪C) = (A\B)\C mógłby ktoś krok po kroku opisać jak to udowadnia

iteRacj@: skorzystamy z tego, że A\B = A∩B' A\(B∪C) = A∩(B∪C)' = A∩(B'∩C') = (A∩B')∩C' = (A\B)∩C' = (A\B)\C

iteRacj@: korzystamy również z prawa łączności iloczynu i praw de Morgana dla zbiorów

iteRacj@: można to rozpisać krok po kroku korzystam z A\B = A∩B' więc A\(B∪C) = A∩(B∪C)' // korzystam z A\B = A∩B' A∩(B∪C)' = A∩(B'∩C') // (B∪C)' = (B'∩C') prawo de Morgana dla zbiorów = A∩(B'∩C') = (A∩B')∩C' // prawo łączności iloczynu (A∩B')∩C' = (A\B)∩C' = (A\B)\C // korzystam z A\B = A∩B'

Robert : jeszcze zapytam można to udowodnić graficznie i też będzie dobrze?