Matjaž trdi:
(a) Rad imam vsaj eno od treh deklet: Suzano ali Diano ali Marto.
(b) Ce imam rad Suzano, ne pa Diane, iimam rad tudi Marto.
(c) Rad imam obe, Diano in Marto, ali pa ne maram nobene od njiju.
(d) Ce imam rad Diano, imam rad tudi Suzano.
Katero od deklet ima zares rad?
Kako se lotit takih nalog? Ne mi povedat odgovora, pač pa nekaj smernic, navodil,... kako se naloge tega tipa rešujejo.
nism gotov, ampak mislim da se da to narediti na sledeč način. imaš tri izjave: s - ima rad Suzano, D - ima rad Diano, M - ima rad Marto. potem pa trditve od b), c) ,d) napišeš s temi simboli (trditve a) ni treba):
b)\((S \land \neg D) \Rightarrow M\)
c)\((D \land M) \lor ( \neg D \land \neg M)\)
d)\(D \Rightarrow S\)
in potem narediš tri tabele, v katerih določiš vrednosti trditvam glede na vrednosti izjav (p ali n).
Ne vem, kako se te naloge sistematično rešujejo. Je pa odgovor, da ima rad Suzano in Marto napačen, ker nasprotuje trditvi c. Diana in Marta gresta skupej, v rešitvi maš pa samo Marto.
pri drugi nalogi pa uporabiš DeMorganov zakon: \(\neg A \land \neg B = \neg (A \lor B)\)
povedano v besedah: konjunkcija negacij je enaka negaciji disjunkcij.
(velja pa tudi obratno: negacija konjunkcije je disjunkcija negacij)