De Morganovy zákony

1. Určete, zda platí: \( \neg (P \land Q) \equiv (\neg P \lor \neg Q) \), kde \( P \): „Je venku teplo.“, \( Q \): „Je slunečno.“

2. Ověřte platnost: \( \neg (A \lor B) \equiv (\neg A \land \neg B) \), kde \( A \): „Jdu do kina.“, \( B \): „Jdu na koncert.“

3. Převeď na ekvivalentní výrok pomocí De Morganova zákona: \( \neg (x \in A \cup B) \)

4. Najděte výrok ekvivalentní s: \( \neg (x > 5 \lor x < 0) \)

5. Rozveďte výrok: \( \neg (M \lor (N \land P)) \) pomocí De Morganových zákonů.

6. Rozhodněte, zda je výrok \( \neg (x = 2 \lor y = 3) \) ekvivalentní s \( (x \neq 2 \land y \neq 3) \)

7. Rozložte: \( \neg (p \land (q \lor r)) \)

8. Vyjádřete negaci výroku: „Zítra bude pršet nebo bude zima.“ pomocí De Morganových zákonů.

9. Ověřte logickou platnost výroku: \( \neg (A \lor \neg A) \Rightarrow \text{nepravda} \)

10. Rozložte pomocí De Morganových zákonů: \( \neg ((x < 3 \land y \geq 7) \lor z \neq 0) \)

11. Použijte De Morganův zákon k přepsání: \( \neg (a \geq 10 \lor b \leq -5) \)

12. Zjednodušte pomocí De Morganových zákonů: \( \neg ((s \lor t) \land \neg u) \)

13. Vyjádřete negaci výroku: „Auto je červené a rychlé.“ pomocí logických symbolů a De Morganova zákona.

14. Přepište výrok \( \neg ((x \neq 0) \lor (y = 1)) \) pomocí De Morganových zákonů.

15. Ukažte, že: \( \neg (p \Rightarrow q) \equiv (p \land \neg q) \) a spojte s De Morganovými zákony.

16. Vyjádřete negaci složitého výroku: „Není pravda, že \( (u > 2 \) nebo \( v = 0) \) a \( w ≠ 3 \).“

17. Přepište výrok: \( \neg (k \leq 0 \land m \geq 5 \land n = 2) \)

18. Přepište do negace: „Jestliže dnes neprší nebo je sobota, pak půjdu ven.“

19. Ověřte platnost: \( \neg (A \lor B \lor C) \equiv (\neg A \land \neg B \land \neg C) \)

20. Najděte logicky ekvivalentní výrok k: \( \neg (\neg x \lor \neg y) \)

21. Použijte De Morganovy zákony na negaci: \( \neg ((a = b) \land (c \neq d)) \)

22. Negujte výrok: „Není pravda, že student prospěl a zároveň neomlouval absence.“

23. Zjednodušte: \( \neg ((x \geq 3 \lor y < 0) \land z \neq 1) \)

24. Přepište negaci: \( \neg ((p \lor q) \Rightarrow r) \)

25. Najděte ekvivalent výroku: \( \neg (\neg A \land \neg B) \)

26. Vyjádřete: „Není pravda, že \(Petr\) je \(vysoký\) nebo \(silný\).“

27. Zjednodušte logický výraz: \( \neg \bigl( r \land (\neg s \lor t) \bigr) \)

28. Přepište negaci: \( \neg \bigl( A \lor (B \land C) \bigr) \)

29. Přepište: \( \neg \bigl( M \Rightarrow (N \lor O) \bigr) \)

30. Vyjádřete výrok: „Není pravda, že \( (x = 1) \) nebo \( \bigl( (y \neq 2) \land (z = 0) \bigr) \)“

31. Negujte výrok: \( \neg \bigl( (A \lor B) \land \neg C \bigr) \)

32. Převeďte na jednodušší tvar: \( \neg \bigl( (p \land \neg q) \lor r \bigr) \)

33. Najděte negaci výroku: „Buď prší, nebo je zataženo, a není zima.“

34. Rozepište logický výraz: \( \neg \bigl( \neg A \lor (\neg B \land C) \bigr) \)

35. Převeďte: \( \neg \bigl( (x < 0 \lor y = 3) \land z \neq 5 \bigr) \)

36. Najděte logicky ekvivalentní výrok k: \( \neg (A \land (B \lor \neg C)) \)

37. Vyjádřete negaci: \( \neg ((\neg x = 2) \lor (\neg y \land z)) \)

38. Negujte: \( \neg ((a > 5) \lor (\neg b \Rightarrow c)) \)

39. Převeďte negaci: \( \neg ((P \Rightarrow Q) \land (R \lor \neg S)) \)

40. Negujte složený výrok: \( \neg ((x = 3 \land y < 1) \lor (z > 7 \land w = 0)) \)

41. Zjednodušte: \( \neg (\neg A \land (B \lor \neg C)) \)

42. Převeďte: \( \neg ((P \lor \neg Q) \land R) \)

43. Negujte: \( \neg ((x \leq 5 \land y > 2) \lor z = 0) \)

44. Najděte negaci: \( \neg ((\neg A \lor B) \lor (C \land D)) \)

45. Zjednodušte výrok: \( \neg ((P \land \neg Q) \lor (\neg R \lor S)) \)

46. Najděte negaci výroku: „Není pravda, že Petr i Jana přišli nebo že Pavel zaspal.“

47. Převeďte na jednodušší tvar: \( \neg ((A \lor B) \lor (C \land \neg D)) \)

48. Negujte výrok: \( \neg ((a \neq 1) \land (b < 2 \lor c > 4)) \)

49. Najděte negaci výroku: \( \neg ((\neg A \land \neg B) \lor C) \)

50. Převeďte na logicky ekvivalentní tvar: \( \neg ((\neg X \lor Y) \land (Z \Rightarrow W)) \)

51. Zjednodušte: \( \neg (A \lor (B \land \neg C)) \)

52. Převeďte výrok: \( \neg ((P \Rightarrow Q) \land \neg R) \)

53. Najděte negaci: \( \neg ((x > 3 \land y \leq 4) \lor z \neq 1) \)

54. Zjednodušte: \( \neg ((\neg A \lor B) \land (\neg C \lor D)) \)

55. Převeďte výrok: \( \neg ((P \land Q) \lor (R \land \neg S)) \)

56. Zjednodušte: \( \neg (\neg (A \land B) \lor \neg (C \lor D)) \)

57. Negujte: \( \neg ((x = 2 \Rightarrow y \neq 3) \lor z < 1) \)

58. Převeďte: \( \neg ((A \Rightarrow B) \lor (C \land D)) \)

59. Zjednodušte výrok: \( \neg ((P \lor \neg Q) \land (R \lor \neg S)) \)

60. Najděte negaci: \( \neg ((\neg x > 5) \lor (\neg y \land z)) \)

61. Zjednodušte: \( \neg ((A \lor B) \land (\neg C \lor D)) \)

62. Najděte negaci výroku: \( \neg ((x \leq 2 \lor y = 3) \land \neg z) \)

63. Zjednodušte: \( \neg ((\neg A \land B) \lor (C \Rightarrow D)) \)

64. Převeďte výrok: \( \neg ((\neg P \lor Q) \land (\neg R \lor S)) \)

65. Najděte negaci: \( \neg ((x > 0 \Rightarrow y \leq 5) \lor z \geq 2) \)

66. Zjednodušte: \( \neg ((A \lor \neg B) \land (\neg C \lor D)) \)

67. Najděte negaci: \( \neg ((x < 4 \land y = 7) \lor (z \neq 5)) \)

68. Zjednodušte: \( \neg ((\neg A \lor B) \land (\neg B \lor C)) \)

69. Převeďte výrok: \( \neg ((A \land \neg B) \lor (\neg C \land D)) \)

70. Zjednodušte: \( \neg ((P \lor Q) \lor (\neg R \land S)) \)

71. Zjednodušte: \( \neg ((A \land B) \lor (\neg C \land \neg D)) \)

72. Zjednodušte: \( \neg ((\neg A \lor B) \land (C \lor \neg D)) \)

73. Najděte negaci: \( \neg ((x = 3 \land y < 2) \lor (z \geq 7)) \)

74. Zjednodušte: \( \neg ((\neg P \land Q) \lor (R \land \neg S)) \)

75. Zjednodušte: \( \neg ((A \lor B) \lor (\neg C \lor D)) \)

76. Najděte negaci: \( \neg ((x \neq 1 \lor y \leq 4) \land (\neg z \lor w > 3)) \)

77. Zjednodušte: \( \neg ((A \land \neg B) \land (\neg C \lor D)) \)

78. Zjednodušte: \( \neg ((A \land \neg B) \lor (\neg (C \lor D) \land E)) \)

79. Zjednodušte: \( \neg ((\neg A \lor B) \lor (\neg C \land D)) \)

80. Najděte negaci: \( \neg ((x < 5 \land y \geq 10) \lor (z = 0 \land w \neq 2)) \)

81. Zjednodušte: \( \neg ((A \lor \neg B) \land (C \lor D)) \)

82. Zjednodušte: \( \neg ((\neg P \lor Q) \land (\neg R \lor S)) \)

83. Zjednodušte: \( \neg ((x > 1 \lor y \leq 0) \land (\neg z \lor w \neq 5)) \)

84. Zjednodušte: \( \neg ((A \land B) \lor (C \land D)) \)

85. Zjednodušte: \( \neg ((A \lor \neg B) \lor (C \land \neg D)) \)

86. Zjednodušte: \( \neg ((x \leq 3 \land y \neq 2) \lor (z > 0 \lor w < 10)) \)

87. Zjednodušte: \( \neg ((A \lor B) \land (\neg C \lor D)) \)

88. Zjednodušte: \( \neg ((P \land Q) \land (\neg R \lor S)) \)

89. Zjednodušte: \( \neg ((\neg A \land B) \lor (C \lor \neg D)) \)

90. Zjednodušte: \( \neg ((x = 5 \lor y \neq 1) \land (z \leq 7 \land w > 3)) \)

91. Zjednodušte: \( \neg ((A \lor B) \lor (C \land D)) \)

92. Zjednodušte: \( \neg ((\neg A \lor \neg B) \land (C \lor D)) \)

93. Zjednodušte: \( \neg (((A \land B) \lor (\neg C \lor D)) \land E) \)

94. Zjednodušte: \( \neg ((P \land \neg Q) \lor (R \land \neg S)) \)

95. Zjednodušte: \( \neg ((A \lor B) \land (\neg C \land D)) \)

96. Zjednodušte: \( \neg ((x < 2 \lor y \geq 3) \land (\neg z \lor w = 0)) \)

97. Zjednodušte: \( \neg ((A \land B) \land (C \lor D)) \)

98. Zjednodušte: \( \neg ((x > 2 \lor y \leq 1) \land (a = b \lor c \neq d)) \)

99. Zjednodušte: \( \neg ((x \geq 4 \land y \leq 2) \lor (z \neq 0 \land w = 1)) \)

100. Zjednodušte: \( \neg ((\neg (P \lor Q)) \lor (R \land \neg S)) \)