Логические функции

Поставить в соответствие ВысказываниеЛогическая операция Суффикс есть часть слова и он пишется после корня Ира не любит клубничное мороженое. Две прямые на плоскости параллельны или пересекаются. Если число делится на 10, то оно делится и на 5. Компьютер может производить вычисления тогда и только тогда, когда он включен.

Поставить в соответствие ВысказываниеЛогическая операция Суффикс есть часть слова и он пишется после корня Логическое умножение А&В Ира не любит клубничное мороженое. Две прямые на плоскости параллельны или пересекаются. Если число делится на 10, то оно делится и на 5. Компьютер может производить вычисления тогда и только тогда, когда он включен.

Поставить в соответствие ВысказываниеЛогическая операция Суффикс есть часть слова и он пишется после корня Логическое умножение А&В Ира не любит клубничное мороженое. Логическое отрицание неА Две прямые на плоскости параллельны или пересекаются. Если число делится на 10, то оно делится и на 5. Компьютер может производить вычисления тогда и только тогда, когда он включен.

Поставить в соответствие ВысказываниеЛогическая операция Суффикс есть часть слова и он пишется после корня Логическое умножение А&В Ира не любит клубничное мороженое. Логическое отрицание неА Две прямые на плоскости параллельны или пересекаются. Логическое сложение АvВ Если число делится на 10, то оно делится и на 5. Логическое следование Компьютер может производить вычисления тогда и только тогда, когда он включен.

Поставить в соответствие ВысказываниеЛогическая операция Суффикс есть часть слова и он пишется после корня Логическое умножение А&В Ира не любит клубничное мороженое. Логическое отрицание неА Две прямые на плоскости параллельны или пересекаются. Логическое сложение АvВ Если число делится на 10, то оно делится и на 5. Логическое следование Компьютер может производить вычисления тогда и только тогда, когда он включен. Логическое равенство

Логическое следование (импликация) Объединение двух высказываний в одно с помощью оборота речи «если …, то …». Обозначение: А В. Таблица истинности АВА В

Операция А В равносильна логическому выражению Ā&B АВĀĀ&BА В

Операция А В равносильна логическому выражению Ā&B АВĀĀ&BА В

Операция А В равносильна логическому выражению Ā&B А В = Ā&B АВĀĀ&BА В

Логическое равенство (эквивалентность) Объединение двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …». Обозначение: А ~ В. Таблица истинности АВА~ВА~В

Используя таблицы истинности, доказать: 1.А ~ В = (А v ¬В) & (¬А v В) 2.Определить истинность формулы: ((А v ¬В) В) & (¬А v В) 3. ¬(A & B) = (¬А v В)