[??] Logische functies, binair stelsel

[GotYa]

Hallo,

Ik heb een vraagje in verband volgende logische vergelijkingen. Ik zou deze moeten vereenvoudigen (binair stelsel). Ik heb echter al van alles geprobeerd maar kom nooit iets uit wat kan kloppen.

De regels die we mogen gebruiken zijn beperkt tot de algebra van Boole
Kan iemand deze vereenvoudigen, zodanig ik inzicht krijg in hoe dit werkt? (graag stap voor stap, zodanig dat ik er wat uit leer)

[Dark_One]

Vaak kun je met wat logica al zien wat er moet staan, zonder dat je de algebra helemaal uit hoeft te voeren.

De eerste:
Als je oplegt dat B waar moet zijn kan het niet tegelijk niet waar zijn, en moet B dus waar zijn.
dus B.A
Mathematisch:


De tweede:
Als B waar is zit je goed, tenzij A niet waar is. Als A niet waar is zit je goed tenzij B waar is (en C waar), dus totaal zit je goed als of B waar is, of A niet waar.
Mathematisch:

Als C waar is en B is wel waar wordt er altijd voldaan, dus als C waar is B waar en A niet waar ook.

Als A niet waar is wordt er voldaan, dus ook als B waar is en A niet waar:


De derde:
A en C kunnen zowel waar als niet waar zijn, zolang B maar waar blijft.
dus B
Mathematisch:

[GotYa]

Erg bedankt al, ik ga het nog is goed bekijken, want ik kom er niet direct uit.

[ILUsion]

GotYa schreef:

Hallo,

Ik heb een vraagje in verband volgende logische vergelijkingen. Ik zou deze moeten vereenvoudigen (binair stelsel). Ik heb echter al van alles geprobeerd maar kom nooit iets uit wat kan kloppen.

De regels die we mogen gebruiken zijn beperkt tot de algebra van Boole
Kan iemand deze vereenvoudigen, zodanig ik inzicht krijg in hoe dit werkt? (graag stap voor stap, zodanig dat ik er wat uit leer)

[afbeelding]

[afbeelding]

[afbeelding]

Je moet vooral enkele regeltjes indachtig houden, voor de rest werkt het net zoals de gewone algebra.

De regels:

1. 
2. 
3. 
4. 
5. 
6. 
7. 
8. 
9. 
10. 
11. 
12. 

Deze laatste twee staan ook bekend als de regels van deMorgan. Verder wordt het AND-teken (vermenigvuldiging) vaak niet genoteerd, hieronder dus ook niet meer.

Om dat alles toe te passen op je opgaves:



Dus in volgorde zijn dat volgende regeltjes toegepast: 9 , 2, 9, 9 omgekeerd (a=AB, b=1, c=C), 6

Nu, je merkt dat dat niet snel gaat, dat komt omdat dat de basisregeltjes zijn en je dus veel bewerkingen nodig hebt. Na wat oefening zal je zelf ook wel merken dat je de laatste stap niet meer expliciet zal zetten.

De tweede is ingewikkelder op deze manier; ik ben zelf ook eerst op een andere manier gaan kijken (vermits het 3 variabelen zijn, heb ik gewoon een waarheidstabel opgesteld voor elke term en dan voor de som en zo de minimale termen gekozen die ik nodig had). Om het via de regeltjes te berekenen, moet je al meer trucs bovenhalen. Dat is ook hetgene wat je bij Dark_One ziet.

[Dark_One]

ILUsion schreef:

Om dat alles toe te passen op je opgaves:



Dus in volgorde zijn dat volgende regeltjes toegepast: 9 , 2, 9, 9 omgekeerd (a=AB, b=1, c=C), 6

Merk op dat 6 hier niet correct toegepast is; AB(1+C)=A.B.1=A.B ipv A.B.C

En je regel 5 en 7 zijn identiek:

ILUsion schreef:

5.
7.

Ik denk dat 5. a.1=a moet zijn

[ILUsion]

Dark_One schreef:

Merk op dat 6 hier niet correct toegepast is; AB(1+C)=A.B.1=A.B ipv A.B.C

En je regel 5 en 7 zijn identiek:


Ik denk dat 5. a.1=a moet zijn

Helemaal gelijk, ik pas het aan