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 из предыдущего задания.