1: Логические функции
2: Поставить в соответствие
3: Поставить в соответствие
4: Поставить в соответствие
5: Поставить в соответствие
6: Поставить в соответствие
7: Логическое следование (импликация) Объединение двух высказываний в одно с помощью оборота речи «если …, то …». Обозначение: А В. Таблица истинности
8: Операция А В равносильна логическому выражению Ā&B
9: Операция А В равносильна логическому выражению Ā&B
10: Операция А В равносильна логическому выражению Ā&B А В Ā&B
11: Логическое равенство (эквивалентность) Объединение двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …». Обозначение: А В. Таблица истинности
12: Используя таблицы истинности, доказать: 1. А В (А v В) & (А v В) 2. Определить истинность формулы: ((А v В) В) & (А v В) 3. (A & B) (А v В)