Задания для самостоятельного решения

5.1.1. Выясните, в каких случаях приведенные ниже данные противоречивы.

1. . 8. . 15. .

2. . 9. . 16. .

3. . 10. . 17.

4. . 11. . 18. .

5. . 12. . 19. .

6. . 13. . 20. .

7. . 14. . 21. .

5.2. Найдите логические значения х и y, при которых выполняются равенства:

1. . 8. . 15. .

2. . 9. . 16. .

3. . 10. . 17.

4. . 11. . 18.

5. . 12. 19.

6. . 13. . 20. .

7. . 14. 21. .

5.1.3. Определите логическое значение формул.

1. , при 2. , при

3. , при 4. , при

5. , при 6. , при

7. , при 8. , при ,

9. , при 10. , при ,

11. , при ,

12. , при ,

13. , при ,

14. , при ,

15. , при ,

16. , при ,

17. , при ,

18. , при ,

19. , при ,

20. , при ,

5.1.4. Составить таблицу истинности данной булевой функции:

1. 16.

2. 17.

3. 18.

4. 19.

5. 20.

6. 21.

7. 22.

8. 23.

9. 24.

10. 25.

11. 26.

12. 27.

13. 28.

14. 29.

15. 30.

5.5. Известно, что импликация истинна, а эквивалентность ложна. Что можно сказать о значении импликации ?

5. 1.6. Проверить, не составляя таблиц истинности, являются ли следующие формулы тождественно истинными:

1. 6. 11. 16.

2. 7. 12. 17.

3. 8. 13. 18.

4. 9. 14. 19.

5. 10. 15. 20.

5. 1.7. Учитывая соглашения о порядке выполнения операций,

а) опустить «лишние скобки и знак « » в формулах:

1.

2.

3.

4.

_5.

_6.

_7.

8.

9.

10.

б) восстановить скобки и знак « » в формулах:

1. 6.

2. 7.

3. 8.

4. 9.

5. 10. .