При каких значениях А, В и С высказывание ((A and B) or C)=>B ложно?
Для решения подобных задач используются таблицы истинности. Их построение является для Wolfram|Alpha элементарной задачей.
Посмотрите два простых примера:


В ответ на ввод логической функции, Wolfram|Alpha выводит не только таблицу истинности, но и другие сведения. Например, графическое представление данной логической функции с помощью диаграммы Венна:
Собственно таблица истинности выводится по запросу truth table

Еще примеры, как составить таблицу истинности:

Итак, при каких же значениях А, В и С высказывание ((A and B) or C)=>B ложно?
Можно предложить два варианта решения. Первый - пошаговое решение, которое дает поводы для обсуждения, или быстрое - в один клик".
Вот, например, как может выглядеть пошаговое решение данной задачи (вариант 1).
Шаг 1. Строим таблицу истинности логической функции (A and B) or C (для дальнейшего обозначим ее буквой D) - таблица 1:

Шаг 2. Строим таблицу истинности логической функции D - таблица 2:

Шаг 3. Анализируя таблицы 2 и 1 приходим к выводу, что высказывание ((A and B) or C)=>B ложно при D=T и B=F, что соответствует строкам 3 и 7 таблицы (1):

Если же логика промежуточных рассуждений не интересует, а нужен лишь ответ на поставленный вопрос, то Wolfram|Alpha может сразу выдать окончательное решение:

Чтобы рассеять все сомнения в способности Wolfram|Alpha строить таблицы истинности, оцените этот результат:
Для решения подобных задач используются таблицы истинности. Их построение является для Wolfram|Alpha элементарной задачей.
Посмотрите два простых примера:


В ответ на ввод логической функции, Wolfram|Alpha выводит не только таблицу истинности, но и другие сведения. Например, графическое представление данной логической функции с помощью диаграммы Венна:
![]() |
P and not Q |
![]() |
P && (Q || R) |

Еще примеры, как составить таблицу истинности:

Итак, при каких же значениях А, В и С высказывание ((A and B) or C)=>B ложно?
Можно предложить два варианта решения. Первый - пошаговое решение, которое дает поводы для обсуждения, или быстрое - в один клик".
Вот, например, как может выглядеть пошаговое решение данной задачи (вариант 1).
Шаг 1. Строим таблицу истинности логической функции (A and B) or C (для дальнейшего обозначим ее буквой D) - таблица 1:

Шаг 2. Строим таблицу истинности логической функции D - таблица 2:

Шаг 3. Анализируя таблицы 2 и 1 приходим к выводу, что высказывание ((A and B) or C)=>B ложно при D=T и B=F, что соответствует строкам 3 и 7 таблицы (1):

Если же логика промежуточных рассуждений не интересует, а нужен лишь ответ на поставленный вопрос, то Wolfram|Alpha может сразу выдать окончательное решение:

Чтобы рассеять все сомнения в способности Wolfram|Alpha строить таблицы истинности, оцените этот результат: