Порядок выполнения работы. 1. Ознакомится с основными понятиями алгебры логики, методикой логического вывода

1. Ознакомится с основными понятиями алгебры логики, методикой логического вывода.

2. Выполнить лабораторную работу в соответствии с заданным вариантом.

3. Оформить и защитить отчет по лабораторной работе. Отчет должен содержать формулы и их решения с помощью таблиц истинности и эквивалентных преобразований.

Варианты для выполнения лабораторной работы

Решите заданные пропозициональные формы при условии что: A = False; B = True.

1. A&ùBÚ ùùA&ùB® A

2. ùA&ùBÚ(AÚùB)® A

3. A&ùBÚ A®ùB& A

4. A&ùBÚ(A®ùBÚ A)

5. A&ùB® A&ùBÚ A

6. A&ùB® AÚùB& A

7. AÚùB& A&ùB® A

8. AÚùB& AÚùB® A

9. AÚùB& A®ùB& A

10. AÚùB& A®ùBÚ A

11. AÚùB® A&ùBÚ A

12. AÚùB® AÚùB& A

13. A®ùB& A&ùBÚ A

14. A®ùB& AÚùB& A

15. A®ùBÚ A&ùBÚ A

16. A®ùBÚ AÚùB& A

17. A&ùBÚ A&ùB®ùA

18. A&ùBÚ AÚùB®ùA

19. A&ùBÚ A®ùB&ùA

20. A&ùBÚ A®ùBÚùA

21. A&ùB® A&ùBÚùA

22. A&ùB® AÚùB&ùA

23. AÚùB& A&ùB®ùA

24. AÚùB& AÚùB®ùA

25. AÚùB& A®ùB&ùA

26. AÚùB& A®ùBÚùA

27. AÚùB® A&ùBÚùA

28. AÚùB® AÚùB&ùA

29. A®ùB& A&ùBÚùA

30. A®ùB& AÚùB&ùA

31. A®ùBÚ A&ùBÚùA

32. A®ùBÚ AÚùB&ùA

33. A&ùBÚùA& B® A

34. A&ùBÚùAÚ B® A

35. A&ùBÚùA® B& A

36. A&ùBÚùA® BÚ A

37. A&ùB®ùA& BÚ A

38. A&ùB®ùAÚ B& A

39. AÚùB&ùA& B® A

40. AÚùB&ùAÚ B® A

41. AÚùB&ùA® B& A

42. AÚùB&ùA® BÚ A

43. AÚùB®ùA& BÚ A

44. AÚùB®ùAÚ B& A

45. A®ùB&ùA& BÚ A

46. A®ùB&ùAÚ B& A

47. A®ùBÚùA& BÚ A

48. A®ùBÚùAÚ B& A

49. A&ùBÚùA& B®ùA

50. A&ùBÚùAÚ B®ùA

51. A&ùBÚùA® B&ùA

52. A&ùBÚùA® BÚùA

53. A&ùB®ùA& BÚùA

54. A&ùB®ùAÚ B&ùA

55. AÚùB&ùA& B®ùA

56. AÚùB&ùAÚ B®ùA

57. AÚùB&ùA® B&ùA

58. AÚùB&ùA® BÚùA

59. AÚùB®ùA& BÚùA

60. AÚùB®ùAÚ B&ùA

61. A®ùB&ùA& BÚùA

62. A®ùB&ùAÚ B&ùA

63. A®ùBÚùA& BÚùA

64. A®ùBÚùAÚ B&ùA

65. ùA& BÚ A&ùB® A

66. ùA& BÚ AÚùB® A

67. ùA& BÚ A®ùB& A

68. ùA& BÚ A®ùBÚ A

69. ùA& B® A&ùBÚ A

70. ùA& B® AÚùB& A

71. ùAÚ B& A&ùB® A

72. ùAÚ B& AÚùB® A

73. ùAÚ B& A®ùB& A

74. ùAÚ B& A®ùBÚ A

75. ùAÚ B® A&ùBÚ A

76. ùAÚ B® AÚùB& A

77. ùA® B& A&ùBÚ A

78. ùA® B& AÚùB& A

79. ùA® BÚ A&ùBÚ A

80. ùA® BÚ AÚùB& A

81. ùA& BÚ A&ùB®ùA

82. ùA& BÚ AÚùB®ùA

83. ùA& BÚ A®ùB&ùA

84. ùA& BÚ A®ùBÚùA

85. ùA& B® A&ùBÚùA

86. ùA& B® AÚùB&ùA

87. ùAÚ B& A&ùB®ùA

88. ùAÚ B& AÚùB®ùA

89. ùAÚ B& A®ùB&ùA

90. ùAÚ B& A®ùBÚùA

91. ùAÚ B® A&ùBÚùA

92. ùAÚ B® AÚùB&ùA

93. ùA® B& A&ùBÚùA

94. ùA® BÚ A&ùBÚùA

95. ùA® BÚ AÚùB&ùA

96. ùA& BÚùA& B® A

97. ùA& BÚùAÚ B® A

98. ùA& BÚùA® B& A

99. ùA& BÚùA® BÚ A

100.ùA& B®ùA& BÚ A

101.ùA& B®ùAÚ B& A

102.ùAÚ B&ùA& B® A

103.ùAÚ B&ùAÚ B® A

104.ùAÚ B&ùA® B& A

105.ùAÚ B&ùA® BÚ A

106.ùAÚ B®ùA& BÚ A

107.ùAÚ B®ùAÚ B& A

108.ùA® B&ùA& BÚ A

109.ùA® B&ùAÚ B& A

110.ùA® BÚùA& BÚ A

111.ùA® BÚùAÚ B& A

112.ùA& BÚùA& B®ùA

113.ùA& BÚùAÚ B®ùA

114.ùA& BÚùA® B&ùA

115.ùA& BÚùA® BÚùA

116.ùA& B®ùA& BÚùA

117.ùA& B®ùAÚ B&ùA

118.ùAÚ B&ùA& B®ùA

119.ùAÚ B&ùAÚ B®ùA

120.ùAÚ B&ùA® B&ùA

Докажите или опровергните заданные равенства.

1. A&ùBÚA = AÚB&ùA

2. A®BÚùA = (ùA&ùB) ®A

3. AÚùBÚA = A&B&ùA

4. ùBÚA&B = ùAÚB ®A

5. ùBÚA&BùA = ùAÚùB ®A

6. AÚùB&A = A&ùBÚùA

7. A&ùB&A = AÚùBÚùA

8. ùA&BÚA = AÚùB&ùA

9. ùAÚBÚA = A&ùB&ùA

10. ùAÚB&A = ùAÚB&A

11. ùA&B&A = ùA&ùBÚùA

12. A&BÚùA = ùAÚùBÚùA

13. AÚBÚùA = ùA&ùB&ùA

14. A&ùBÚA = AÚB&ùA

Контрольные вопросы

1. Что такое алгебра логики

2. Какая формула является пропозициональной

3. Какая формула является пропозициональной

4. В чем суть метода резолюций

Литература

1. Адаменко А., Кучуков А. Логическое программирование и Visual Prolog.

Содержание

1. Цель работы.. 1

2. Основные теоретические положения. 1

2.1. Логические операции над логическими переменными. 1

2.2. Алгебра логики. 3

2.3. Пропозициональные формулы.. 5

2.4. Логическое следствие и логический вывод. 6

2.5. Метод резолюций. 8

2.6. Исчисление высказываний как формальная теория. 9

3. Порядок выполнения работы.. 10

4. Варианты для выполнения лабораторной работы: 10

5. Контрольные вопросы.. 12

Литература. 13

Андрей Владимирович Протодьяконов

Александр Сергеевич Пермяков

Математические основы логического программирования

Методические указания к лабораторной работе по курсу

"Системы искусственного интеллекта и принятия решений", специальность 071900 "Информационные системы и технологии"

Редактор

Подписано в печать

Формат 60х84/16. Бумага офсетная. Отпечатано на ризографе.

Уч.-изд. л.0,75. Тираж экз. Заказ

ГУ Кузбасский государственный технический университет.

650026, Кемерово, ул. Весенняя, 28.

Типография ГУ кузбасский технический университет.

650099, Кемерово, ул. Д. Бедного, 4А.