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

UptoLike

5
17. m
p
m
s
t
t
q∧∨
∧∨()()
18.
dadad )(
19.
ppq∧∧()
20.
acbcc
21.
(( ) ) ( ) ( )pq r sr pqr tt∨∧
22.
()()
r
s
t
r
t
s
s
∧∧
23.
()(())
p
q
p
q
p
→∨→∧
24.
pqp pr→∧()
25.
p
q
p
p
∧→()
26.
p
q
p
q
p
q∧∨ ()(( ))
27.
r
p
p
qq∨∨
()()
28.
rq qt∨→ ()
29.
p
q
s
s
t
∧∧ (())
30. ¬→ ()()AA A A
12 21
4. Записать формулы в ДНФ и СДНФ.
1.
()
A
B
→→
16. CBAA
))((
2.
()()
A
B
D∨∧∨ 17.
A
B
()
3.
()()
A
B
D
∧∨∧
18.
ACBA
4
()AB C∧∨
19.
)()( BABA
5.
A
B
B
∧∨∧
20.
(( ) )ABC AB
∨∧
6.
A
B
C∧∨ 21.
AB B B C
()
7.
A
B
∧→
22.
(( ))( )AAB B A
8.
BAABA
23.
BCBA
9.
)()( BABABA 24. )( BABA
17. m ∧ ( p ∨ m ∨ s) ∧ t ∧ ( t ∨ q )

18. (d ∨ a d ∨ a) ↓ d

19. p ∧ ( p ∧ q )

20. c ∨ c ∧ b ∨ c ∨ a

21. (( p ∨ q ) ∧ r ) ∧ ( s ∨ r ) ∧ ( p ∨ q ∨ r ) ∧ t ∧ t

22. ( r ∧ s ∧ t ) ∨ ( r ∧ t ∧ s) ∨ s
23. ( p → q ) ∨ ( p → ( q ∧ p))

24. p → ( q ∧ p) → p ∨ r

25. p ∧ ( q → p) → p

26. p ∧ ( q ∨ p ) ∧ (( q → p) ∨ q )

27. r ∨ ( p ∨ p ) ∨ ( q ∧ q )

28. r ∨ q → ( q ∨ t )

29. p ∧ q ∧ ( s → ( s ∨ t ))

30. ¬( A1 → A2 ) ∨ ( A2 → A1 )


4. Записать формулы в ДНФ и СДНФ.


1. ( A → B ) → C                                  16. ( A → ( A ↔ B)) ∧ C

2. ( A ∨ B ) ∧ ( C ∨ D)                           17. A ∧ ( B ∧ C )
3. ( A ∧ B ) ∨ ( C ∧ D) → C                       18. A ∨ B → C ∧ A

4 ( A ∧ B) ∨ C                                    19. ( A → B) ↔ ( A ∨ B)

5. A ∧ B ∨ C ∧ B                                  20. (( A → B ) ∧ C ) ∨ A ∧ B

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

7. A ∧ B → C                                      22. ( A ∧ ( A ∨ B )) ∧ ( B → A)

8. AB ↔ A ∨ A ∧ B                                 23. A ∨ B → C ∧ B

9. ( A ↔ B) ∧ ( A B ∨ AB)                         24. A ∧ B → ( A → B)




                                                    5