1. Какие проблемы решает формальная логика?

2. Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула.

3. Сформулируйте правила выполнения основных логических операций.

4. Как определяется порядок выполнения логических операций в логических формулах?

5. Пусть а, b, с — логические величины, которые имеют следующие значения: а = ИСТИНА, b = ЛОЖЬ, с = ИСТИНА. Определить результаты вычисления следующих логических формул:

1) а и b;
2) а или b;
3) не а или b;
4) а и b или с;
5) а или b и с;
6) не а или b и с;
7) (а или b) и (с или b);
8) не (а или b) и (с или b);
9) не (а и b и с).

6. Постройте таблицы истинности для логических формул под номерами 3 - 9 из предыдущего задания.