Boolsk algebra
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Hvorfor blir dette feil? Svaret skal være -p ^ q (ikke p og q) (svaret mitt er "ikke q" - vanskelig å se kanskje
Jeg vet etter fasiten at man kan putte "ikke q" inn i parantesen hvor jeg brukte p istedenfor, men hvorfor blir det feil slik jeg gjør det? Tallene over likhetstegnene representerer reglen jeg har brukt, som dere kan se her:
-
- Grothendieck
- Innlegg: 826
- Registrert: 09/02-2015 23:28
- Sted: Oslo
Det er viktig å følge reglene for parenteser i setningslogikk/boolsk algebra, ettersom uttrykk konstruert med bruk av $\wedge$ og $\vee$ ikke er assosiative. Fra linje 2 og utover har du glemt parenteser (du har ingen "principal connective"), og dette gir deg feil svar.
Løsningsforslag:
Løsningsforslag:
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.
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.
-
- Grothendieck
- Innlegg: 826
- Registrert: 09/02-2015 23:28
- Sted: Oslo
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)$.brukerr skrev: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.
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.