Výroková logika

Seznam všech otázek

  1. Které z následujících tvrzení výrokové logiky je tautologie?

  2. Která z formulí je úplná konjuktivní normální forma výroku A \Leftrightarrow B?

  3. Rozhodněte, která dvojice představuje navzájem ekvivalentní výroky:

  4. Nalezněte (např. pomocí K. mapy) minimální vyjádření booleovské funkce V = \neg (A \Rightarrow \neg B) \vee \neg (C \Rightarrow \neg A).

  5. Které z následujících tvrzení je tautologickým důsledkem tvrzení "Všichni kuřáci páchnou kouřem. Každý, kdo páchne kouřem, je bezohledný."

  6. Piercův symbol \downarrow NOR má následující význam: A \downarrow B \Leftrightarrow \neg (A \vee B). Vyberte, které vyjádření konjunkce pomocí Piercova symbolu je správné:

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

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

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

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

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

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

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

Test

Přímka je dána body A[0; 4] a B[1; 2]. Najděte její parametrickou rovnici.


Hlavolam

Kráva je uvázaná na okraji kruhové pastviny. Jaká je maximální plocha, kterou může kráva spásat, pokud délka lana je rovna poloměru pastviny?