Logika, zadanie nr 6392
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / Rozwiązanie |
| wimat postów: 5 |  2020-07-07 21:49:51Wiadomość była modyfikowana 2020-07-10 19:12:25 przez wimat |
| wimat postów: 5 | 2020-07-07 22:03:32 Wiadomość była modyfikowana 2020-07-10 19:13:12 przez wimat |
| chiacynt postów: 749 | 2020-07-08 13:42:56 Jest to prawo rozdzielności iloczynu względem różnicy symetrycznej. W dowodzie tego prawa są używane: iloczyn logiczny, suma logiczna, zaprzeczenie logiczne i implikacja logiczna. $ x \in A\cap (B \ominus C) \leftrightarrow x\in A\wedge [(x\in B \cup C) \wedge x \notin (B\cap C)] \leftrightarrow (x\in A \wedge x\in B \wedge x\notin B \vee x\notin C)\leftrightarrow x\in A \wedge x\in B \wedge x\in A \wedge x\notin B\cap C \leftrightarrow x \in A\cap B \wedge x\in (A\cup C) \wedge x\notin A\cap C \leftrightarrow $ $\leftrightarrow (A\cap B)\cap (A\ominus C)$ |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj