brukerr wrote:Okei, takk! Hvordan blir det dersom man har et lengre uttrykk og vil ta ut flere felles "faktorer" slik som i denne for eksempel. Må man ta ut en og en, eller kan man gjøre noe slikt? Vet ikke hva som skal bli mellom e.g P og Q dersom jeg tar ut begge ved bruk av regel 7b og 7a. Blir det ^ (eller) mellom dem, eller blir det "og"? Får riktig svar uansett hva jeg bruker... men vil tro den ene måten er feil.
Oppgaven:
Min løsning: Se spesielt der jeg tar ut P og Q.. blir dette feil? Hva skal være i mellom dem? og/eller? Hvorfor?
Og ja jeg delte oppgaven i 2 og tok dem hver for seg.
Ja, denne oppgaven har du løst riktig, og du kan begynne med å slå sammen de parentesene du vil. Min kommentar om assosiativitet handler om uttrykk som bruker både $\wedge$ og $\vee$ sammen. Et uttrykk som eksempelvis $p\vee q\wedge r$ er udefinert, vi trenger parenteser for å presisere om vi mener $(p\vee q)\wedge r$ eller $p\vee (q\wedge r)$.
Den andre oppgaven du spurte om har en formel på en spesiell form, såkalt "disjunctive normal form". Merk deg at "faktorene" kun er bygget opp med bruk av $\wedge$, og at disse "faktorene" så er satt sammen kun med bruk av $\vee$. Derfor er det ikke nødvendig å skrive inn alle parenteser, nettopp på grunn av reglene 1a, 1b, 6a og 6b.
