Opdrachten Logische Structuren 11-12

tweemaal, in de tweede en zesde collegeweek, worden opdrachten opgegeven
de opdrachten moeten de week erop op voor het college (op papier, handgeschreven) worden ingeleverd
(Inleveren kan ook in het postvakje van Roel de Vrijer in de staf/koffiekamer, S-409)
daarnaast is er in de zesde en zevende collegeweek een computerpracticum, waarin wordt geoefend met de SAT-solver Sat4J.
(De resultaten van het practicum worden electronisch ingeleverd.)
als de twee huiswerkopdrachten en het practicum met een voldoende zijn beoordeeld, dan krijg je een bonus van 0.5 (een halve punt) op het tentamencijfer

uiterlijk in te leveren maandag 14 november bij het begin van het college
NB: de antwoorden waar nodig graag motiveren !
uit Mendelson (pagina's 26-29):
- 1.21 (a)
- 1.26 (c)
opgaven 1, 2 en 3 van het tentamen van 17 februari 2011
Op het eiland van leugenaars en waarheidssprekers is iedere bewoner een leugenaar of een waarheidsspreker. Op het eiland kom je a en b tegen.
a zegt: "tenminste één van ons beiden is een leugenaar."
- Bepaal van elk van a en b of ze waarheidssprekers dan wel leugenaars zijn.
- Op de geldigheid van welke semantische implicatie berust deze gevolgtrekking?

Uiterlijk in te leveren maandag 12 december, voor het college of in het postvakje van Roel de Vrijer in S-409
Formaliseer de volgende vraag als een satisfiability probleem in de propositielogica. Kies zelf de benodigde propositieletters.
- Is het mogelijk om, gebruikmakend van twee kleuren, een kaart van de Benelux (Nederland, België, Luxemburg) zo te kleuren dat aangrenzende landen een verschillende kleur krijgen?
In deze opgave over booles rekenen staat de ⋅ voor conjunctie, de + voor (inclusieve) disjunctie, en ' voor negatie. De ⋅ bindt sterker dan de +.
Bereken de boolese expressie x⋅y + (x + y')' + y'.
Mendelson (pagina's 128-129):
- 4.44(a) [naar analogie van Fig.4-31 op p. 80]
opgaven 7, 9 en 10 van het tentamen van 17 februari 2011

Details over hoe de practicumopdrachten in te leveren volgen.