Splnitelnost, tautologie, kontradikce

Seznam všech otázek

  1. Tvrzení (P \Rightarrow Q) \Leftrightarrow (Q \Rightarrow P) je:

  2. Tvrzení (P \Rightarrow Q) \Rightarrow (\neg Q \Rightarrow \neg P) je:

  3. Tvrzení (A \wedge \neg A) je:

  4. Tvrzení \neg (A \vee \neg A) je:

  5. Tvrzení \neg (P \wedge Q) \Rightarrow (\neg P \vee \neg Q) je:

  6. Tvrzení ((A \Rightarrow B) \Rightarrow B) \Rightarrow B je:

  7. Tvrzení ((A \Rightarrow B) \Rightarrow A) \Rightarrow A je:

Test

Derivace e^{x^2-x+1} je rovna:


Hlavolam

Akce! Tma, bouřka, silný déšť. Podminovaná lávka přes širokou rozvodněnou řeku. Dvoučlené komadno prozatím uspělo. Oba politici držení v zajetí teroristy byli osvobozeni. Ještě je třeba se dostat na druhou stranu lávky, která exploduje za 17 minut. Víc času není. Lávka je ale moc úzká a bambus víc jak dva lidi najednou neunese. A pak, je hrozná tma a oni mají jenom jednu baterku (asi nízkorozpočtový film). Bez baterky se lávka prostě přejít nedá. To by byla sebevražda. Oba komandos jsou celkem ve formě: první přeběhne lávku za 1 minutu, druhý za 2 minuty. Politici jsou na tom, ale hůř: jeden přejde lávku za 5 a druhý za 10 minut. Přes lávku mohou jít jen dva najednou a ten rychlejší samozřejmě musí čekat na toho pomalejšího. Jak to stihnou? Nebo to nebude americkej happyend?