λογικη σχεδιαση

[GRAPS]

ν.δ.ο (α+γ) (α'+β) (β+γ)=βγ

ξερω οτι αβ=0 και α+β=1

εκανα ντε μοργκαν δεν μου βγηκε εκανα και επιμερισμους ουτε παλι.

εχει κανεις ιδεα πως να το ξεκηνισω;

[GRAPS]

ν.δ.ο (α+γ) (α'+β) (β+γ)=βγ

ξερω οτι αβ=0 και α+β=1

εκανα ντε μοργκαν δεν μου βγηκε εκανα και επιμερισμους ουτε παλι.

εχει κανεις ιδεα πως να το ξεκηνισω;

[Τάσος_Δ]

Δοκίμασε να ξεκινήσεις από τους επιμερισμούς.

[Τάσος_Δ]

Δοκίμασε να ξεκινήσεις από τους επιμερισμούς.

[GRAPS]

εκανα και μου βγηκε

(αα+αβ+α'γ+βγ) (β+γ)=

α'γβ+α'γγ+βγβ+βγγ=

α'γβ+α'γ+βγ+βγ=

α'βγ+α'γ+βγ=

α'γ+βγ

[GRAPS]

εκανα και μου βγηκε

(αα+αβ+α'γ+βγ) (β+γ)=

α'γβ+α'γγ+βγβ+βγγ=

α'γβ+α'γ+βγ+βγ=

α'βγ+α'γ+βγ=

α'γ+βγ

[Giannis Ch.]

συνεχιζοντας απο εκει που σταματησες : α΄γ + βγ = α΄γ(α + β) + βγ = αα΄γ + α΄βγ + βγ = βγ(α΄ + 1) = βγ

 

Ελπιζω να μην εχω κανει καποιο λαθος και αν δεν καταλαβαινεις καποιο βημα ρωτα.

[Giannis Ch.]

συνεχιζοντας απο εκει που σταματησες : α΄γ + βγ = α΄γ(α + β) + βγ = αα΄γ + α΄βγ + βγ = βγ(α΄ + 1) = βγ

 

Ελπιζω να μην εχω κανει καποιο λαθος και αν δεν καταλαβαινεις καποιο βημα ρωτα.

[C6WGMN]

Για τέσσερις όρους οι τρεις σχέσεις είναι ανεπαρκείς.

http://en.wikipedia.org/wiki/System_of_linear_equations

[semaphor]

Για τέσσερις όρους οι τρεις σχέσεις είναι ανεπαρκείς.

http://en.wikipedia.org/wiki/System_of_linear_equations

 

Το Thread ειναι γιαλογικη , οχι για αλγευρα.

 

Το α' συμβολιζει το NOT α, το α+β το α OR β και το αβ το α AND β.

 

αβ=0 , α+β=1 |= α XOR β=1

 

γιαυτο βγ(α΄ + 1) = βγ {α + 1 = (α OR 1) = 1}

[C6WGMN]

Αφού είναι για μαθηματική λογική, τότε δεν χρειάζεται να γνωρίζεις πως αβ = 0 και α+β = 1, η ταυτολογία είναι ανεξάρτητη αυτών (άλγεβρα και αλεύρι είναι διαφορετικά πράγματα ).

[MitsakosGR]

Αφού είναι για μαθηματική λογική, τότε δεν χρειάζεται να γνωρίζεις πως αβ = 0 και α+β = 1, η ταυτολογία είναι ανεξάρτητη αυτών (άλγεβρα και αλεύρι είναι διαφορετικά πράγματα ).

 

Είναι για άλγεβρα Boolean η οποία βασίζεται σε λογικές πράξεις και έχει δικές της ιδιότητες, διαφορετικές πολλές φορές, από την κοινή άλγεβρα που μαθαίνουμε στο σχολείο και βασίζεται στο λογικό True και False.

Boolean Algebra

[pioneer2]

Αυτά μέσα στο καρνώ τα περνας θυμάμαι κ έβγαινε. Γίνεται κ με γινόμενο αθροισμάτων.