Программирование на языке высокого уровня. Марапулец Ю.В. - 17 стр.

UptoLike

ВУЗ: 

КамчатГТУ | Петропавловск-Камчатский

Составители: 

Рубрика: 

3. Дистрибутивный (распределительный).
(x
1
x
2
) x
3
= (x
1
x
3
) ∨ (x
2
∨ ∧ ∧
∧
x
3
);
(x
1
x
2
) x
3
= (x
1
∨ x
3
) (x
2
∨ x
3
). ∧ ∨ ∧
4. Закон двойного отрицания.
‗
x = x.
5. Правила де Моргана.
_____ _ _
x
1
x
2
= x
1
∨ x
2
; ∧
_____ _ _
x
1
x
2
= x
1
x
2
. ∨ ∧
17
3. Дистрибутивный (распределительный).

     (x1 ∨ x2) ∧ x3 = (x1 ∧ x3) ∨ (x2 ∧ x3);
     (x1 ∧ x2) ∨ x3 = (x1 ∨ x3) ∧ (x2 ∨ x3).

4. Закон двойного отрицания.
          ‗
      x = x.

5. Правила де Моргана.
     _____ _ _
     x1 ∧ x2 = x1 ∨ x2;
     _____ _ _
     x1 ∨ x2 = x1 ∧ x2.




                                               17

Страницы