Logika, zadanie nr 5812
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
alogiczny post贸w: 10 |  2018-10-23 13:22:13Przedstawi膰 poni偶sz膮 formu艂臋 w formie dysjunktywnej postaci normalnej: ((p$\Rightarrow$q$\Rightarrow$)$\Rightarrow$r) $\Rightarrow$ $\neg$((p$\Rightarrow$q)$\vee$(p$\Rightarrow$r)) i ja mam co艣 takiego: ((p$\vee$$\neg$q)$\wedge$$\neg$r) $\vee$ ((p$\vee$$\neg$q)$\wedge$(p$\vee$$\neg$r)) Czy jest to poprawne? Wiadomo艣膰 by艂a modyfikowana 2018-10-23 13:29:35 przez alogiczny |
tumor post贸w: 8070 | 2018-10-23 13:34:33 Mo偶na to przekszta艂ca膰 na piechot臋, ale to m臋cz膮ce. Twoje przekszta艂cenie nie jest jeszcze dysj. postaci膮 normaln膮, a poza tym wyj艣ciowy przyk艂ad jest b艂臋dnie zapisany, wi臋c musia艂bym si臋 domy艣la膰, o co cho. Mo偶na te偶 zrobi膰 tabeleczk臋 tak, jak to by艂o przy sprawdzaniu tautologii. Dla pewnych warto艣ci p,q,r otrzymujemy w ostatniej kolumnie 1. Dysjunkcyjna posta膰 normalna jest alternatyw膮 koniunkcji litera艂贸w, a litera艂y mo偶emy wzi膮膰 z wierszy ko艅cz膮cych si臋 1. Dla przyk艂adu gdyby 1 wyst臋powa艂o dla p=1, q=0, r=0 to jeden z element贸w dysjunkcyjnej postaci normalnej by艂by $(p\wedge \neg q \wedge \neg r) \vee...$ Nast臋pnie t臋 posta膰 mo偶na jeszcze upraszcza膰, ale to p贸藕niej, jak zrobisz. ;) |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj