Logika, zadanie nr 573
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
patryk1115 post贸w: 4 |  2012-10-28 19:02:53Upro艣膰 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