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

Tři lidé byli zajati divochy na opuštěném ostrově. Přivazali je ke kůlům v řadě za sebou, takže ten poslední viděl ty dva před sebou, prostřední viděl jen jednoho a první neviděl nic. Náčelník jim chtěl dát možnost na přežití, tak jim řekl: - Jste přivázáni ke třem kůlům, přičemž dva jsou bílé a jeden černý nebo dva černé a jeden bílý. Jestli kdokoliv z vás uhodne, k jakému sloupu je přivázán, všechny vás pustíme. Jak se dostat na svobodu? Není to zase tak těžké ...