Studentexamen i LÅNG MATEMATIK våren 2013 – uppgift 13

Sanningstabellen för konnektivet \square är

2013-05-22 13:25:11 +00001

a) Bilda sanningstabellen för satsen A\square (A\square B)

b) presentera satsen A\square (A\square B) i en sådan form, att endast konnektiven \neg ,\text{ }\vee eller \wedge förekommer.

___________________________________________________________________________

CAS-tekniken kan inte direkt utnyttjas i denna uppgift, utan möjligen via mera omfattande programmering. Vi löser uppgiften och ser om vi får med tekniken i något delskede.

a) Denna del av uppgiften löser vi mekaniskt:

2013-05-22 13:24:35 +00001

b)

Det är uppenbart att följande gäller:

2013-05-22 13:33:55 +00001

 

Detta stämmer överens med sanningstabellen för A\square (A\square B).

Vi har en lösning!

Det finns en viss möjlighet att jobba med kommandona and samt or på räknaren.

V13MAA13_1V13MAA13_2

Annonser

Kommentera

Fyll i dina uppgifter nedan eller klicka på en ikon för att logga in:

WordPress.com Logo

Du kommenterar med ditt WordPress.com-konto. Logga ut /  Ändra )

Google-foto

Du kommenterar med ditt Google-konto. Logga ut /  Ändra )

Twitter-bild

Du kommenterar med ditt Twitter-konto. Logga ut /  Ändra )

Facebook-foto

Du kommenterar med ditt Facebook-konto. Logga ut /  Ändra )

Ansluter till %s