В программировании и реальной жизни полно ситуаций, при которых нет никакой необходимости вникать в глубины решаемых задач. Все ясно при первом же рассмотрении темы. Но случается и так, что требуется подтвердить или опровергнуть выражение. Здесь в силу вступает так называемая логика высказываний. Соответствующий момент играет важную роль не только в жизни, но и в науках. Пример – математика, программирование, психология. Можно использовать разнообразную логику высказываний для подтверждения и опровержения результатов...

В этом материале предлагаются варианты заданий по построению таблиц истинности различных формул логики высказываний. С теоретическим материалом можно познакомиться по ссылкам, представленным в https://dzen.ru/a/ZNDT3PE1AzJV4G4m?share_to=link. Упражнение 1. Постройте таблицы истинности для следующих формул логики высказываний (приведите все промежуточные расчёты). Проверьте правильность выполнения расчётов с помощью вопросно-ответной системы Wolfram|Alpha. Вариант № 1 B или НЕ (НЕ C и B) или B и...