Задание 3. Является ли формулой в математической логике данное высказывание?

ТИПОВОЕ ЗАДАНИЕ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

Часть 1

Задание 1

Является ли формулой в математической логике данное высказывание? В случае положительного ответа определить вид формулы:

1. а) , б)

2. а) , б)

3. а) , б)

4. а) , б)

5. а) , б)

Задание 2

Упростить, используя логические законы:

1.

2.

3.

4.

5.

Задание 3

Используя таблицы истинности, проверить эквивалентность булевых формул.

1. и

2. и

3. и ;

4. и ,

5. и .

За каждую задачу максимально можно получить 4 балла. Будут учитываться следующие параметры:

· правильный ответ;

· оформление (аккуратность, аргументированность) – можно в тетради для лекций;

· ответы на вопросы при защите;

Поиск по сайту: