Составители:
Рубрика:
3
1.Составить таблицы истинности для формул.
1.
)( BA → )( BA ∨↔
16.
ACACBA →∧∧∨→ )(
2.
A
B
↔
17.
()()
A
B
CD→
∧
→
3.
A
B
→
18.
()
A
B
→
↔
()BC A
∧
∨
4.
A
B
∨
19.
)()()( CABACBA ∨∧∨↔∧→
5.
B
A
↔ 20. ¬→ ∧ →∨(( ))ABA AC
6.
A
B
∨
21.
ABA A
∧
→→()
7.
A
B
↔
22.
()()AB B A B
∧
→→→
8.
A
B
→
23.
BABABA ∨→∧∨∧ )()(
9.
()AB B∧→ 24. ()ABAB→
∧
→
10.
()AB A∨→
25.
A
B
A
B
∧
→∨
11.
A
A
B
→∨ 26.
A
B
A
B
→
↔
∨
12.
()( )AB AB∨∧∨
27.
A
B
C
→
¬
∨()
13.
(( ) )
A
B
C
∧→
↔
(( ))ABC→∨
28.
A
A
B
→→()
14.
A
B
C
→∨()↔ )()( CABA →∨→
29.
()AB C A∨→ →
15.
)( BA ∧ ↔ )( CB ∧
30
B
A
→
2. Установить эквивалентность формул с помощью таблиц истинности .
1.
CBA ∧∨ и
CBA ∧∨ )(
16.
BA ↔ и BA ↔
2.
A
B
∨ и
A
B
∧
17.
()
A
B
B
∨
∧
и A
3.
A
B
→ и
A
B
∨ 18. AAB∨∨() и A
4. A
↔B и ()()AB AB∨
∧
∨ 19. AAB∨∨() и A
5. A
↔
B и ()()AB AB∧∨∨ 20. AAB
∧
∨() и В
6.
A
B
∧ и
A
B
∧
21.
AAB
∧
∨()
и A
7.
A
B
∨
и
A
B
→ 22. AAB
∧
∨() и В
1.Составить таблицы истинности для формул.
1. ( A → B) ↔ ( A ∨ B) 16. ( A → B ∨ C ) ∧ A ∧ C → A
2. A ↔ B 17. ( A → B ) ∧ ( C → D)
3. A → B 18. ( A → B ) ↔ ( B ∧ C) ∨ A
4. A ∨ B 19. A → ( B ∧ C ) ↔ ( A ∨ B ) ∧ ( A ∨ C )
5. B ↔ A 20. ¬( A → ( B ∧ A)) → A ∨ C
6. A ∨ B 21. A ∧ ( B → A) → A
7. A ↔ B 22. ( A ∧ B → B) → ( A → B )
8. A → B 23. A ∧ ( B ∨ A ) ∧ ( B → A) ∨ B
9. ( A ∧ B ) → B 24. ( A → B ) ∧ A → B
10. ( A ∨ B ) → A 25. A ∧ B → A ∨ B
11. A → A ∨ B 26. A → B ↔ A ∨ B
12. ( A ∨ B ) ∧ ( A ∨ B ) 27. A → ¬( B ∨ C)
13. (( A ∧ B ) → C) ↔ ( A → ( B ∨ C)) 28. A → ( A → B )
14. A → ( B ∨ C) ↔ ( A → B) ∨ ( A → C ) 29. ( A ∨ B → C ) → A
15. ( A ∧ B ) ↔ ( B ∧ C ) 30 B → A
2. Установить эквивалентность формул с помощью таблиц истинности .
1. A ∨ B ∧ C и ( A ∨ B ) ∧ C 16. A ↔ B и A ↔ B
2. A ∨ B и A ∧ B 17. ( A ∨ B ) ∧ B и A
3. A → B и A ∨ B 18. A ∨ ( A ∨ B ) и A
4. A ↔ B и ( A ∨ B ) ∧ ( A ∨ B ) 19. A ∨ ( A ∨ B ) и A
5. A ↔ B и ( A ∧ B ) ∨ ( A ∨ B ) 20. A ∧ ( A ∨ B ) и В
6. A ∧ B и A ∧ B 21. A ∧ ( A ∨ B ) и A
7. A ∨ B и A → B 22. A ∧ ( A ∨ B ) и В
3
