Условие задачи
Записать следующие высказывания в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других выказывании. Для полученной формулы логики составить таблицу истинности.
1. Знал бы прикуп – жил бы в Сочи, и кто не рискует, тот не пьет шампанское. Значит, знание прикупа гарантирует регулярное потребление шампанского.
2. Прядильный станок остановится, если оборвется нить хотя бы на одном из трех веретен.
3. Если среднее время ожидания поезда метрополитена равно одной минуте, то поезда идут с интервалом не три, а две минуты.
Ответ
1. Обозначим через x знание прикупа, y проживание в Сочи, z риск, s потребление шампанского. Тогда формула логики имеет вид:
Таблица истинности:
