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 24. 01. 2014 19:16

aladar
Příspěvky: 112
Reputace:   
 

Karnaughove mapy, predikatova logika

Ahojte, potreboval by som radu k dvom vecom. Ako prva vec je, ako najst pomocou karnaughovej mapy minimalny dnt tvar. Karnaughovu mapu spravit viem, len neviem z toho vyjadrit ten minimalny tvar. Neviete mi niekto poradit? Druhu vec by som potreboval, ako riesit priklady typu rozhodnite, ktore z formuli su logicky platne. Napr
$(\forall x)(A\Rightarrow B)\Rightarrow ((\forall x)A\Rightarrow (\forall x)B)$

Bude sa to riesit zrejme cez semanticky strom, no neviem ako.

Dakujem velmi pekne

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson