Составители:
Рубрика:
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
C
→→
16. CBAA
∧
↔
→ ))((
2.
()()
A
B
C
D∨∧∨ 17.
A
B
C
∧
∧
()
3.
()()
A
B
C
D
C
∧∨∧→
18.
ACBA
∧
→∨
4
()AB C∧∨
19.
)()( BABA ∨↔→
5.
A
B
C
B
∧∨∧
20.
(( ) )ABC AB→
∧
∨∧
6.
A
B
C∧∨ 21.
AB B B C
∧
→
∧
→()
7.
A
B
C
∧→
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
Страницы
- « первая
- ‹ предыдущая
- …
- 3
- 4
- 5
- 6
- 7
- …
- следующая ›
- последняя »
