sprawdzenie
longer: (A\B)∧(C\D)=(A∧C)\(B∨D)
to po lewej stronie rozpisuje
(x∊A∧x∉B)∧(x∊C∧x∉D)⇒(x∊A∧x∊C)∧(x∉B∧x∉D)⇒(x∊A∧x∊C)∧(x∉B∨x∊D)⇒x∊(A∧C)\(B∨D)
8 lis 17:49
longer: czy rozpisalem to dobrze
8 lis 18:07
longer: proszę mógłby ktos sprawdzić
8 lis 18:51
longer: mógłby ktoś mi sprawdzić
bardzo proszę
11 lis 17:45
Aga: powinno być(x∊B∨x∊D) trzeci nawias do prawej.
11 lis 19:03