Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 30. 09. 2012 19:47
- tragikomix
- Zelenáč
- Příspěvky: 16
- Reputace: 0
Matematicka logika - UDNF
Zdravim,
mam problem s nasledujici ulohou:
Najděte úplný disjunktivní normální tvar formule:
(C => A) => (¬ (B v C) => A)
Pri pouziti nasledujiciho: X=>Y <=> X v ¬Y
Mi vyjde: CvBvA
Pri pouziti nasledujiciho: X=>Y <=> ¬X konjukce Y
Mi vyjde: ¬ CvA
Nemelo by to nahodou vyjit stejne?
Diky predem
Offline
#3 30. 09. 2012 20:31
- tragikomix
- Zelenáč
- Příspěvky: 16
- Reputace: 0
Re: Matematicka logika - UDNF
↑ radekm:
Bylo by mozne me trochu vice nakopnout?
Offline
#5 30. 09. 2012 20:42
- tragikomix
- Zelenáč
- Příspěvky: 16
- Reputace: 0
Re: Matematicka logika - UDNF
Aha,
dekuji za upozorneni na preklep. Nicmene jsem pouzil opravdu spravne ekvivalence, tedy:
(X=>Y) <=> (¬X v Y)
Vysledek: CvBvA
a
(X=>Y) <=> (X ekvivalence ¬Y)
Vysledek: ¬CvA
A stejne jsem se nedostal ke stejnym vysledkum.
Offline
#7 01. 10. 2012 10:24
- tragikomix
- Zelenáč
- Příspěvky: 16
- Reputace: 0
Re: Matematicka logika - UDNF
Dekuji za vysvetleni. Zkusil jsem to jeste jednou a vyslo mi nasledujici:
(C => A) => (¬ (B v C) => A)
(¬C v A) => (B⋁C⋁A)
( C ∧¬ A) ⋁ (B⋁ C ⋁A)
(C*A’) + (B + C + A)
C + B + A
Takze uplny disjunktivní normální tvar formule by mel byt C ⋁ B⋁A ?
Offline