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