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

Stránky: 1

 

#1 12. 12. 2015 19:39

alixer
Příspěvky: 62
Reputace:   1 
 

Matematická logika - zjednodušení formule

Zdravím, mám následující formuli :

B ∧ (A ∨ ¬(¬B ∨ A))

a mám ji zjednodušit...
Výsledek by měl být :  B

Já se dokážu dostat do tvaru

B ∧ (A ∨ (B ∧ ¬A))     
ale nevím co teď dále s tím abych se dostal k výsledku B. Může někdo ukazat jak se dostat odtud k výsledku B ?

Offline

  • (téma jako vyřešené označil(a) alixer)

#2 12. 12. 2015 20:16

OndrasV
Místo: Praha
Příspěvky: 513
Škola: VŠE (1997-2004), FEL (2014-??)
Pozice: mudrlant
Reputace:   31 
 

Re: Matematická logika - zjednodušení formule

↑ alixer: B ∧ (A ∨ (B ∧ ¬A))   =( B ∧ A)  ∨ (B ∧ (B ∧ ¬A)) a odsud už by to mohl být jasné.

Offline

 

#3 12. 12. 2015 20:40

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

Re: Matematická logika - zjednodušení formule

↑ OndrasV:

máš samozřejmě pravdu, ale existuje i jednodušší cesta. Stačí ci vzpomenout na pravidla:
$p\wedge (p\vee q) \equiv p\\ p\vee(q\wedge\neg p)\equiv p\vee q$

Dva jsou tisíckrát jeden.

Offline

 

#4 12. 12. 2015 21:20

alixer
Příspěvky: 62
Reputace:   1 
 

Re: Matematická logika - zjednodušení formule

↑ Wotton:

To prvni je to co jsem hledal ! :)
Děkuji. Teď už je to hračka.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson