Контрольная работа по «Математической логике и теории алгоритмов» для кзИз База заданий
Логика и исчисление высказываний
Записать высказывания в виде формул логики высказываний.
Сегодня мы пойдем в кино или поедем кататься на лыжах.
Обозначим:
A – пойдем в кино,
B – пойдем кататься на лыжах,
Тогда высказывание запишется:
Если будет хорошая погода, то мы пойдем гулять.
Обозначим:
H – хорошая погода,
G – идти гулять,
Тогда высказывание запишется:
Если х=5 и у=3, то х>y.
Обозначим:
X – x=5,
Y – y=3,
Z – x>y,
Тогда высказывание запишется:
Людоед голоден только тогда, когда он давно не ел.
Обозначим:
G – людоед голоден,
D – людоед давно не ел,
Тогда высказывание запишется:
Иванов сдал экзамен и получил 5 неравнозначно тому, что Иванов сдал экзамен и получил 5
Обозначим:
S – Иванов сдал экзамен,
P – Иванов получил 5,
Тогда высказывание запишется:
Если он бегает по лужайке и у него длинные уши, то он или заяц или осел
Обозначим:
B – он бегает по лужайке,
D – у него длинные уши,
Z – он заяц,
O – он осел
Тогда высказывание запишется:
Построить таблицы истинности для формул
-
A
B
0
0
1
0
1
1
0
1
1
0
1
1
1
0
0
0
0
0
1
1
1
1
1
1
-
A
B
0
0
1
1
0
1
0
1
1
0
0
1
1
0
0
1
1
0
1
1
0
1
1
0
-
A
B
0
0
1
1
0
0
1
1
0
1
1
0
0
1
1
1
1
0
0
1
-
A
B
C
0
0
0
1
1
1
0
0
1
1
0
0
0
1
0
0
1
1
0
1
1
0
0
1
1
0
0
0
0
1
1
0
1
0
0
1
1
1
0
0
0
1
1
1
1
0
0
1