Часть I
№1
1. а) «Если по какой-то причине мы оступимся, совершим несколько непоправимых ошибок и проиграем конкуренцию Microsoft и IBM, тогда для всей индустрии компьютеров наступят темные времена.» («Стив Джобс» Уолтер Айзексон, Астрель, с.217)
б) p: Если по какой-то причине мы оступимся
q: совершим несколько непоправимых ошибок
r: проиграем конкуренцию Microsoft и IBM
s: тогда для всей индустрии компьютеров наступят темные времена.
в)(p → s
г) Составим таблицу истинности
|
p |
q |
r |
s |
|
||
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
2 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
3 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
4 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
5 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
6 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
7 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
8 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
9 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
10 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
11 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
12 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
13 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
14 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
15 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
16 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
2. Используем свойство эквивалентности p¬ p:
(p → s ¬ p
3.
а) Используя таблицу истинности, строим дизъюнктивную нормальную форму: