- •Содержание
- •Часть 1. Тема: “Функции алгебры логики высказываний”. 3
- •Часть 2. Тема: “Доказательство теорем. Нечеткая логика”. 7
- •Часть 1. Тема: “Функции алгебры логики высказываний”.
- •Формализация высказывания.
- •Сопоставление формуле высказывания.
- •Получить эквивалентное соотношение, используя принцип двойственности.
- •Получить сднф и скнф формулы из задания 4 по таблице истинности.
- •Получить сднф и скнф формулы из задания 4, используя эквивалентные преобразования.
- •Минимизировать функцию, используя метод карт Карно.
- •Решить задачу анализа для ркс.
- •Получить таблицу истинности для формулы из задания 4.
- •Указать возможные пути “склеивания” по методу кубов.
- •Решить задачу синтеза ркс.
- •Часть 2. Тема: “Доказательство теорем. Нечеткая логика”.
- •Формализовать теорему:
- •Доказать или опровергнуть теорему, формализованную в результате выполнения задания 1, используя метод таблиц истинности.
- •Доказать или опровергнуть теорему, формализованную в результате выполнения задания 1, используя мультипликативный метод приведения теоремы к днф.
Решить задачу анализа для ркс.
|
|
Получить таблицу истинности для формулы из задания 4.
x |
y |
z |
|
|
|
|
|
|
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
Получить сднф и скнф формулы из задания 4 по таблице истинности.
x |
y |
z |
|
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
СДНФ:
x |
y |
z |
|
СКНФ:
Отсутствует
Получить сднф и скнф формулы из задания 4, используя эквивалентные преобразования.
- СДНФ
- СДНФ
Минимизировать функцию, используя метод карт Карно.
x |
y |
z |
|
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
Склеиваем 1-ю и 2-ю интерпретацию, 7-ю и 8-ю,
x |
y |
z |
|
0 |
0 |
+ |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
+ |
1 |
