Часть 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.
а) Используя таблицу истинности, строим дизъюнктивную нормальную форму:
