Не арентируюсь в информатике

По запросу "Иванов" было найдено 2435 страниц, по запросу "Петров" 3663 страниц, а по запросу "Иванов | Петров" – 4001 страниц.

ответы на запросы, в которых между словами находится логическая операция ИЛИ включают в себя хотя бы одно из этих двух слов. ответы на запросы, в которых между двумя словами находится логическая операция И должны включать в себя оба этих слова.

Значит, чтобы найти, сколько ответов будет найдено по запросу "Иванов & Петров", нужно сложить запросы по отдельности и вычесть из них общие запросы.

2435 + 3663 - 4001 = 2097 тысяч страниц.

Объяснение:

1 вариант

¬а ∨ (b∨¬с)

1  ¬с  (первое отрицание в скобках)

2 b∨¬с (второе дизъюнкция в скобках)

3) ¬а (отрицание а)

4)¬а ∨ (b∨¬с) - дизъюнкция  ¬а и выражения в скобках  

а∧ ¬ (b∨¬с)∨ d

1  ¬с  (первое отрицание в скобках)

2 b∨¬с (второе дизъюнкция в скобках)

3 ¬ (b∨¬с)(отрицание выражения в скобках)

4 а∧ ¬ (b∨¬с) конъюнкция а и выражения  скобках)

5 дизъюнкция п.4 и Д

Талица истинности

A   b    c   b∧c            a∨b∧c                  ¬a∨b∧c  

0   0    0       0               0                          1

0   0    1        0               0                          1

0   1    0        0               0                          1

0   1    1         1                1                           0

1   0     0       0               1                           0

1   0     1        0               1                           0

1   1     0        0              1                           0

1   1      1        1               1                           0

2 вариант

а∨b∧c

1. конъюнкция b∧c

2 дизъюнкция а и п. 1

¬(а∨b)∨с

1. дизъюнкция  в скобках а∨b

2 отрицание выражения в скобках ¬(а∨b)

3 дизъюнкция с и п.3

2 таблица истинности

А  b c       ¬c            ¬b                    ¬b∧a                      ¬c∨¬b∧a

0   0  0      1              1                         0                                   1

0   0  1      0              1                         0                                   0

0   1  0      1              0                         0                                   1

0   1  1      0              0                         0                                   0

1   0  0      1              1                         1                                     1

1   0  1      0              1                         1                                     1

1   1  0      1              0                         0                                    1

1   1  1      0              0                         0                                   0