(A∩(B∪C)') ∪ (B'∩(A'∪C')') ∪ (B'∩D) ∪ (B∪D)'
radek222: Jak to uprościć i przejść na rachunek zdań?
(A∩(B∪C)') ∪ (B'∩(A'∪C')') ∪ (B'∩D) ∪ (B∪D)'
14 mar 15:08
Janek191:
Wzory de Morgana
14 mar 15:50
radek222: Wiem, tylko mi wyszedł wynik: a⋀¬b. I ten wynik jest ponoć zły.
14 mar 16:01
radek222: 1. (A∩(B∪C)') ∪ (B'∩(A'∪C')') ∪ (B'∩D) ∪ (B∪D)'
2. (A∩B'∩C') ∪ (B'∩A∩C) ∪ (B'∩D) ∪ (B'∩D')
3. (x∊A∩x∊B'∩x∊C') ∪ (x∊B'∩x∊A∩x∊C) ∪ (x∊B'∩x∊D) ∪ (x∊B'∩x∊D')
4. (a∧¬b∧¬c) ∨ (¬b∧a∧c) ∨ (¬b∧d) ∨∪ (¬b∧¬d)
5. a ∧ ¬b ∧ (c∨¬c) ∧ (d∨¬d)
6. a ∧ ¬b
I gdzie tutaj jest błąd?
14 mar 16:13
radek222: 
14 mar 18:19
PW: A gdyby uprościć ostatnie dwa:
B'∩D ∪ B'∩D' = B'
i "jechać od tyłu":
B'∩(cokolwiek) ∪ B' = B'
i jeszcze raz podobnie, to co będzie?
14 mar 20:36
radek222: Jeżeli by tak "jechać" do końca, to zostanie chyba tylko samo B'?
14 mar 20:46
radek222: Czyli:
2. (A∩B'∩C') ∪ (B'∩A∩C) ∪ B'
3. (A∩B'∩C') ∪ B'
4. (a∧¬(b∨c)) ∨ ¬b
Dobrze?
14 mar 22:18
radek222:
15 mar 10:42
radek222:
15 mar 17:21
radek222:
15 mar 20:36