Diskret matematik

Det låter ju som att du fått metoderna, så vad var det med exempelvis en sanningstabell som du körde fast på? (Kan förslagsvis lägga upp en bild på ansatsen)

Går det t.ex att räka såhär:

$$\begin{gathered} A(1+A\text{'}C) + A\text{'}\hspace{0.17em}= 1 \\ A*1 + A * A\text{'}C + A\text{'} =1 \\ A*1 + C + A\text{'} = 1 \\ C + 1 = 1 \end{gathered}$$

Eller är jag ute och cyklar?

Ja distributiva lagen är giltig i boolesk algebra.

Ja AA' = 1

Ja A + A* = 1

Ja C + 1 = 1 för alla C

Jupp resonemanget håller.

Däremot så är strukturen i presentationen ett förbättringsområde. När man bevisar något så börjar man inte med att skriva upp det som man vill ska vara sant först utan man börjar med vänsterledet och sedan via en kedja av omskrivningar så kommer man fram till högerledet. Det hade alltså varit bättre att skriva

$A(1 + A'C) + A' = A*1 + AA'C + A' = A' + A + C = 1 + C = 1$

(gärna med en anteckning vid varje likhet om vilken lag det är som tillämpas)

Så att det framgår att det är en kedja av omskrivningar som leder fram till 1.

Tack så mycket! Vill du förklara hur jag bevisar detta med en sanningstabell? Vi har en väldigt smart lärare men inte särskilt bra på att lära ut..

Vänta när jag läser det igen borde det nog vait 

AA'= 0

Dvs att sant och falskt blir falskt... Påverkar inte resultatet då blir 1+0=1 istället för 1+C=1 men var nog fel från min sida.

Gällande sanningstabell är det bäst om du börjar med att visa hur du försökt och att vi tar det från där. Och ja, sanningstabell kommer att bli väldigt plottrigt så är inte du som gör fel när det blir så.

Okej så jag byter ut C mot 0 bara? Jag tänkte bara på 1;an som är i parentesen, som försvinner efter tredje likhetstecknet, man har bara flyttat det så att det står 
 $A\text{'} + A + C = 1 + C$ 

Eller? För det känns som en etta försvinner eller man behöver bara inte skriva ut den?

Ettan från parentesen försvinner eftersom

A*1 = A (för alla A)

Det jag menade med AA' = 0 är att bliur en skillnad (som jag fetstilat) i omskrivningskedjan

A(1+A'C)+A'=A*1+AA'C+A'=A'+A+0C=1+0=1

eller i hoppet från rad 2 till rad 3 i din ursprungliga följd i inlägg 2. 

Nu förstår jag! Tack så jättemycket! 

Om jag ska bevisa $(AB + A\text{'}C + BC)\hspace{0.17em}= AB + A\text{'}C$. Hur förklarar jag det? Det är väl absorberingslagen som gör att AB + BC = AB + C och A'C + BC = A'C + B.

Skulle en sanningstabell i så fall kunna se ut såhär: 

Sanningstabellen ser bra ut.

Om aritmetisk lösning och absorbtionslagarna så lyckas jag inte tänka mig in i det just nu och behöver lägga mig så om någon annan villl flika in på den (två inlägg tillbaka) så är den välkommen. 

Någon som kan flika in här? :)