Logika, zadanie nr 573
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
patryk1115 postów: 4 | 2012-10-28 19:02:53 Uprość następujące wzory jak tylko możliwe przy zastosowaniu ekwiwalencji (równoważności) (np. prawa De Morgana, podwójna negacja...): s=(x$\vee$$\neg$y$\vee$z)$\wedge$($\neg$x$\vee$y$\vee$$\neg$z)$\vee$z t=$\neg$($\neg$u$\wedge$y$\wedge$$\neg$z)$\wedge$(x$\vee$$\neg$y$\vee$z)$\wedge$$\neg$(x$\wedge$y$\wedge$$\neg$z) |
tumor postów: 8070 | 2014-06-27 19:21:09 $s$ jest fałszywe wtw fałszywe jest $z$ i fałszywa jest koniunkcja. Jeśli $z$ jest fałszem, to $\neg z$ jest prawdą, czyli dla fałszywości koniunkcji fałszem musi być $(x \vee \neg y \vee z)$ czyli $s \iff (x \vee \neg y \vee z) \vee z \iff x \vee \neg y \vee z$ |
tumor postów: 8070 | 2014-06-27 19:33:37 $ \neg t \iff y \wedge \neg z$ $t \iff \neg y \vee z$ Robiłem metodą tabelkową, to znaczy znalazłem prostą formułę, która ma te same tabelkowe wartości co $t$ |
strony: 1 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj