AndersLkpg:

(Ja, ord som komiskt eller roligt är eventuellt mer lämpliga i dylika sammanhang. ^^)

AndersLkpg:

Således behöver endast grundvariablernas värden inkluderas i Karnaughdiagrammen.

Hur ska man då skriva diagrammet? Jag menar, hälften av raderna försvinner om man tar bort hjälpvariablarna.
Och sen så undrar jag om detta:

P = P1 och (icke P2) och (P4 eller P5) och (icke (P3 och P4 och P5))
P = P1 och P6 och P7 och P9

Om hjälpvariablarna försvinner så försvinner väl även formeln? (har markerat vilken jag menar).
och (icke (P3 och P4 och P5)) betyder väl att det inte är aktivt, eftersom att detta är ett undantag så den ska väl inte stå i samma formel som de andra signalerna gör? (första formeln som inte är markerad)

010807:

010807

Förlåt mig så väldigt mycket för fördröjningen av mitt svar.

Oavsett om hjälpvariablerna införs eller inte, så kommer den relevanta delen av sanningstabellen att sakna kolumnerna för hjälpvariablerna och således ha följande utseende:

Sanningstabell:
(0 = falskt, 1 = sant)
P1 P2 P3 P4 P5 P
0 0 0 0 0 0
0 0 0 0 1 0
0 0 0 1 0 0
0 0 0 1 1 0
0 0 1 0 0 0
0 0 1 0 1 0
0 0 1 1 0 0
0 0 1 1 1 0
0 1 0 0 0 0
0 1 0 0 1 0
0 1 0 1 0 0
0 1 0 1 1 0
0 1 1 0 0 0
0 1 1 0 1 0
0 1 1 1 0 0
0 1 1 1 1 0
1 0 0 0 0 0
1 0 0 0 1 1
1 0 0 1 0 1
1 0 0 1 1 1
1 0 1 0 0 0
1 0 1 0 1 1
1 0 1 1 0 1
1 0 1 1 1 0
1 1 0 0 0 0
1 1 0 0 1 0
1 1 0 1 0 0
1 1 0 1 1 0
1 1 1 0 0 0
1 1 1 0 1 0
1 1 1 1 0 0
1 1 1 1 1 0

Alarmvillkor i formell logik:
P = P1 och (icke P2) och (P4 eller P5) och (icke (P3 och P4 och P5))
P = P1 och P6 och P7 och P9

Ovanstående två formler för resultatvariabeln P har exakt samma innebörd. Den övre formeln motsvarar ett icke förenklat uttryck utan hjälpvariabler, och den undre formeln motsvarar ett förenklat uttryck med hjälpvariabler.

Ifall hjälpvariablerna införs så kan således endera av ovanstående två formler användas, men eftersom den undre formeln är enklare så skulle den enligt min uppfattning kunna vara förenad med mindre krångel och mindre felrisk. Ifall hjälpvariablerna inte införs så existerar endast den övre formeln.

Undantagssituationen råder när (P3 och P4 och P5) = 1, vilket exakt motsvarar (icke (P3 och P4 och P5)) = 0. Undantagssituationen råder inte när (P3 och P4 och P5) = 0, vilket exakt motsvarar (icke (P3 och P4 och P5)) = 1.

Att undantagssituationen inte råder är ett av flera nödvändiga villkor för att alarmet ska vara aktivt, varför (icke (P3 och P4 och P5)) = 1 är ett av flera nödvändiga villkor för att alarmet ska vara aktivt, och varför (icke (P3 och P4 och P5)) är en av flera termer i det formellt logiska uttrycket för resultatvariabeln P.

Tråden låst på grund av inaktivitet