[logica] logische vergelijkingen

Moderators: ArcherBarry, Fuzzwood

Reageer
Gebruikersavatar
Berichten: 7.390

[logica] logische vergelijkingen

De lamp brandt niet als A ingedrukt is ofwel als B en C ingedrukt zijn.

Hoe stel je de logische vergelijking hiervan op?

De waarheidstabel ziet er volgens mij zo uit:

A B C L

0 0 0 1

0 0 1 1

0 1 0 1

=> alle andere gevallen: L=0

Kan ik hieruit gemakkelijk de logische vergelijking afleiden?

Ik dacht eventueel aan
\(L = \bar{A} + \bar{BC}\)
.

Kunnen jullie me hierbij helpen?

Erg bedankt!
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Re: [logica] logische vergelijkingen

Je zou eerst de formule voor het geval dat de lamp niet brandt kunnen bepalen, en daaruit met Booleaanse algebra de formule voor het geval de lamp wel brandt kunnen afleiden. Je hebt het over "ofwel" in plaats van over "of", bedoel je daar de exclusieve disjunctie (d.w.z. "óf A óf B&C") mee? Zie:

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

Dat moet je wel weten, om de formule te kunnen bepalen.

Gebruikersavatar
Berichten: 7.390

Re: [logica] logische vergelijkingen

Opgave stond letterlijk zo in het boek, maar uit de andere opgaven denk ik dat het gaat over of A of B&C.
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 7.556

Re: [logica] logische vergelijkingen

De opgave is niet volledig, maar ze bedoelen denk ik
De lamp brandt niet als en slechts als A ingedrukt is ofwel als B en C ingedrukt zijn.
of (hetzelfde):
De lamp brandt niet als A ingedrukt is ofwel als B en C ingedrukt zijn, en brandt wel in de andere gevallen.
Never express yourself more clearly than you think.

- Niels Bohr -

Re: [logica] logische vergelijkingen

Opgave stond letterlijk zo in het boek, maar uit de andere opgaven denk ik dat het gaat over of A of B&C.
Laten we dan van de exclusieve disjunctie (dus de exclusive or) uitgaan. (In de eerder gegeven link staat hoe je een exclusive or kan uitschrijven.) Heb je een idee hoe de formule voor
\(\bar{L}\)
moet luiden? Met andere woorden: hoe schrijf je in een Booleaanse formule wanneer de lamp uit is?

Zo nodig staan hier een paar voorbeelden:

http://users.telenet.be/chris.cambre/chris...akelalgebra.htm

Verder heeft Phys gelijk dat strikt genomen niets is gezegd over het al dan niet branden van de lamp bij de niet genoemde standen van A, B en C. Ik was er stilzwijgend al vanuit gegaan dat de lamp dan brandt.

Gebruikersavatar
Berichten: 7.390

Re: [logica] logische vergelijkingen

Ik dacht:
\(\bar{L}=A+BC\)


Klopt
\(L = \bar{A} + \bar{BC}\)
ook?
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Re: [logica] logische vergelijkingen

In fysics I trust schreef:Ik dacht:
\(\bar{L}=A+BC\)
Dat is zo bij de inclusieve disjunctie. Dat wil zeggen: de lamp is uit dan en slechts dan als A ingedrukt is of als B en C ingedrukt zijn.

In het geval de exclusieve disjunctie is bedoeld, moet je de "+" door "
\(\oplus\)
" vervangen. Dan krijg je dat de lamp uit is dan en slechts dan als óf A ingedrukt is óf als B en C ingedrukt zijn (maar niet als zowel A ingedrukt is als B en C ingedrukt zijn).

Ik weet niet welke disjunctie bedoeld is, de vraagstelling is daarvoor niet helder genoeg.
Klopt
\(L = \bar{A} + \bar{BC}\)
ook?
Om L te vinden heb je o.m. de wetten van De Morgan nodig. Zie hier:

http://nl.wikipedia.org/wiki/Wetten_van_De_Morgan

Re: [logica] logische vergelijkingen

Dat is zo bij de inclusieve disjunctie. Dat wil zeggen: de lamp is uit dan en slechts dan als A ingedrukt is of als B en C ingedrukt zijn.
Laten we dat Li noemen. Dus:
\(\overline {L_i} = A + B.C\)

In het geval de exclusieve disjunctie is bedoeld, moet je de "+" door "
\(\oplus\)
" vervangen. Dan krijg je dat de lamp uit is dan en slechts dan als óf A ingedrukt is óf als B en C ingedrukt zijn (maar niet als zowel A ingedrukt is als B en C ingedrukt zijn).
Laten we dat Le noemen. Dus:
\(\overline {L_e} = A \oplus B.C\)
Ik weet niet welke disjunctie bedoeld is, de vraagstelling is daarvoor niet helder genoeg.

Om L te vinden heb je o.m. de wetten van De Morgan nodig. Zie hier:

http://nl.wikipedia.org/wiki/Wetten_van_De_Morgan
Ik zal Li even voor doen:
\(\overline {L_i} = A + B.C\)
\(\overline {\overline {L_i}} = \overline {A + B.C}\)
\(L_i = \overline {A + B.C}\)
\(L_i = \overline A . (\overline {B.C})\)
\(L_i = \overline A . (\overline B + \overline C)\)
\(L_i = \overline A . \overline B + \overline A . \overline C\)
Kan je nu zelf Le afleiden?

Reageer