Snabbfråga på booleskt uttryck!

[Jennie]

Då man har ett uttryck som ser ut så här:

AD'+ABD+ABC'

Så ska jag tydligen få det att bli AD'+AB till slut. Dessvärre förstår jag inte med vilken lag jag ska få det till att bli AD'+AB, någon som berätta?
Jag skulle även uppskatta om någon kunde visa lite mer detaljerat hur man nu får bort D och C' om det är typ A (D' +ABD) = A (D' + 1) typ eller hur det nu mer detaljerat går till, att de ska bort förstår jag, men inte riktigt hur?

[Klas-Kenny]

AD'+ABD+ABC' = A(D'+BD)+ABC'

Där ser du att i uttrycket D'+BD så om D är falsk, så är den termen sann. Om D inte är falsk, så är termen enbart beroende av B. Där av, är det samma sak som D'+B.

Det ger då
A(D'+B)+ABC' = AD'+AB+ABC'

Där du vet att AB+ABC' = AB (enkelt att resonera sig till på samma sätt om ovan).

Och kvar har du då bara AD'+AB.

Edit: För den första finns det väl förresten en "känd" räkneregel, typ x+x'y = x+y