Формализуйте высказывания, используя логические переменные и символы логических

Question

Информатика: Формализуйте высказывания, используя логические переменные и символы логических операций. Введите все символы без пробелов, например, A*B+-C. Для обозначения высказываний используйте латинские буквы

Veronika · Accepted Answer

1. Пусть A обозначает высказывание Студент выполнел все лабораторные работы , а B обозначает высказывание Студент написал тест . Тогда высказывание Студент выполнел все лабораторные работы и написал тест можно формализовать как A*B. Обозначение A*B означает, что оба высказывания A и B истинны. 2. Пусть C обозначает высказывание Выпускник школы принял решение . Нет информации о том, какое именно решение принял выпускник, поэтому оставим его без обозначения. Высказывание Выпускник школы принял решение можно формализовать как C. Для обозначения логических операций используем следующие символы: конъюнкция - * (знак умножения), дизъюнкция - + (знак сложения), отрицание - - (знак вычитания), импликация - -> (знаки минус и больше), равносильность - = (знак равенства), неравнозначность - < > (знаки меньше и больше). Таким образом, ответ будет выглядеть следующим образом: 1. A*B

Формализуйте высказывания, используя логические переменные и символы логических операций. Введите все символы

Veronika

О проекте

Предметы

Задать вопрос

Привет!