Forum » Šola » Naloge: Izjavni račun
Naloge: Izjavni račun
N-E-O ::
Se da prvo nalogo kako matematično rešit, ali je logično sklepanje edina rešitev?
Izjavo pri 2. nalogi pa znam poenostaviti do ((A^B)ˇA) ^ (B^(B˘A)) Kako naprej?
1. 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?
2. ((A^ B)˘A) ^ (¬B => A) ^ B
Poenostavi!
Izjavo pri 2. nalogi pa znam poenostaviti do ((A^B)ˇA) ^ (B^(B˘A)) Kako naprej?
1. 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?
2. ((A^ B)˘A) ^ (¬B => A) ^ B
Poenostavi!
Follow the white rabbit.
sherman ::
Pri drugi uporabiš absorpcijo. ((A ^ B) ˇ A ~ A in (A ˇ B) ^ A ~ A) Rezultat na koncu je A ^ B
N-E-O ::
Kaj je to absorpcija? Se opravičujem, če sprašujem bedarije, ampak smo rešili v šoli zgolj en primer take naloge.
Follow the white rabbit.
sherman ::
Ja to je točno to kar sem napisal ((A ^ B) ˇ A ~ A in (A ˇ B) ^ A ~ A). Link.
Sej da se tudi brez absorpcije.
((A^B)ˇA) ^ (B^(B˘A)) ~ / uporabiš distributivnostni zakon in dobiš
(A ˇ B) ^ (AˇA) ^ (B ˇ A) ^ B ~ / uporabiš komutativost in idempotentnost
(A ˇ B) ^ A ^ B / uporabiš asociativnost in še enkrat distributivnost
(A^ (A^ B)) ˇ ((A ^ B) ^ B) / zopet uporabiš asociativnost in idempotentnost
(A ^ B) ˇ (A^ B) / zopet uporabiš idempotentnost in dobiš
A ^ B
Sej da se tudi brez absorpcije.
((A^B)ˇA) ^ (B^(B˘A)) ~ / uporabiš distributivnostni zakon in dobiš
(A ˇ B) ^ (AˇA) ^ (B ˇ A) ^ B ~ / uporabiš komutativost in idempotentnost
(A ˇ B) ^ A ^ B / uporabiš asociativnost in še enkrat distributivnost
(A^ (A^ B)) ˇ ((A ^ B) ^ B) / zopet uporabiš asociativnost in idempotentnost
(A ^ B) ˇ (A^ B) / zopet uporabiš idempotentnost in dobiš
A ^ B
Vredno ogleda ...
| Tema | Ogledi | Zadnje sporočilo | |
|---|---|---|---|
| Tema | Ogledi | Zadnje sporočilo | |
| » | MatematikaOddelek: Šola | 3219 (1999) | Math Freak |
| » | VB.NET evklidov algoritem razširjenOddelek: Programiranje | 809 (656) | Yacked2 |
| » | Lagrangev izrekOddelek: Šola | 9279 (8291) | Genetic |
| » | matematkaOddelek: Šola | 1806 (1489) | R33D3M33R |
| » | kozji test (strani: 1 2 3 )Oddelek: Loža | 6676 (5783) | jeti |