Практические задания. 4.1Построить таблицы истинности формулы, определить вид формулы

4.1 Построить таблицы истинности формулы, определить вид формулы.

Вариант 1 а) ; б) ; в) .	Вариант 2 а) ; б) ; в) .
Вариант 3 а) б) в) .	Вариант 4 а) б) в) .

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

1) Дайте определение высказывания.

2) Перечислите основные логические связи (действия).

3) Каков порядок выполнения логических действий?

4) Какие виды формул алгебры высказываний определены?

Практическая работа № 3.

Упрощение формул алгебры высказываний.

1 Цель работы

Научиться использовать законы логики для упрощения формул алгебры высказываний.