Задачи по дискретной математике. Баранов И.В - 6 стр.

UptoLike

ВУЗ: 

ДГТУ | Ростов-на-Дону

Составители: 

Рубрика: 

6
10.
)( BABA →→∨
25.
)( BABA
↔
→∨
11. )()( BCBA →∧→
26.
ABA ↔∨
12. )( BAA →∧
27.
ABA ↔∧
13. )()( ABBA →→→
28.
))(( BABA ∧∨
14.
BCBA ∧→∨
29.
))(( BABA ∨
15.
CBA →↔ )(
30.
()AB C∧∨
5. Записать формулы в приведенном виде (содержащем только операции ¬, ∧, ∨ над про-
стыми переменными).
1.
A
B
CD∨∨∨
16.
()()AB CD C∧∧∧∧
2.
)( CBA ↔→
17.
A
B
C
D
∧
∨→()
3.
()AABC→∧ ∧
18.
A
A
B
B
∧
→→()
4.
()()
A
B
C
D
B
→∧→∧
19.
()AB C∧→
5.
()()
A
B
C
DD→∧→∧
20.
CBA
∧
↔
6.
()()ABC AB BC∧∧ → ∨ →
∧
21.
()()AB CD∧∧∧
7.
()()AB CD→∨∨
22.
A
B
C
D
∧
∧
∧
8.
()()
A
B
B
C→∧→
23.
A
B
CD∨∨∨
9.
ABA ∨↔
24.
)()( BABA ∧∧↔
10. )( CBA ↔→
25.
)()( BABA →→→
11.
ABA →→ )(
26.
ABABA ∧→∨ )(
12.
)()( CBBA →∧→
27.
))(()( CBACBA →→→→
∧
13.
)()( BABA →∨∧ 28. )()( BABAA →∧→∧
14.
ACBA ∨→∨ 29. ABBA ∨→∨
15.
()
A
B
C
→→
30.
A
B
C
→∨ 
10. A ∨ B → ( A → B)                     25. A ∨ B → ( A ↔ B)

11. ( A → B) ∧ (C → B)                   26. A ∨ B ↔ A
12. A ∧ ( A → B)                         27. A ∧ B ↔ A
13. ( A → B) → ( B → A)                  28. ( A ∨ B)( A ∧ B)

14. A ∨ B → C ∧ B                        29. ( AB)( A ∨ B)

15. ( A ↔ B) → C                         30. ( A ∧ B ) ∨ C




5. Записать формулы в приведенном виде (содержащем только операции ¬, ∧, ∨ над про-
стыми переменными).


1. A ∨ B ∨ C ∨ D                         16. ( A ∧ B ) ∧ ( C ∧ D) ∧ C
2. A → ( B ↔ C )                         17. A ∧ ( B ∨ C ) → D

3. ( A → A ∧ B) ∧ C                      18. A ∧ ( A → B ) → B

4. ( A → B ) ∧ ( C → D) ∧ B              19. ( A ∧ B ) → C
5. ( A → B ) ∧ ( C → D) ∧ D              20. A ↔ B ∧ C

6. ( A ∧ B ∧ C ) → ( A ∨ B ) → B ∧ C     21. ( A ∧ B ) ∧ ( C ∧ D)

7. ( A → B ) ∨ ( C ∨ D)                  22. A ∧ B ∧ C ∧ D
8. ( A → B ) ∧ ( B → C )                 23. A ∨ B ∨ C ∨ D
9. A ↔ B ∨ A                             24. ( A ↔ B) ∧ ( A ∧ B)
10. A → ( B ↔ C )                        25. ( A → B) → ( A → B)

11. ( A → B) → A                         26. AB ∨ ( A → B ) ∧ A
12. ( A → B) ∧ ( B → C )                 27. ( A ∧ B → C ) → ( A → ( B → C ))

13. ( A ∧ B) ∨ ( A → B)                  28. A ∧ ( A → B) ∧ ( A → B)

14. A ∨ B → C ∨ A                        29. A ∨ B → B ∨ A
15. ( A → B ) → C                        30. A → B ∨ C




                                          6

Страницы