Курсовая работа: Доведення теоретико-математичних тотожностей і тверджень
4) 
– комутативність кон’юнкції;
5) 
– асоціативність диз'юнкції;
6) 
– асоціативність кон’юнкції;
7) 
– дистрибутивність кон’юнкції щодо диз'юнкції;
8) 
– дистрибутивність диз'юнкції щодо кон’юнкції.
9) 
– перший закон Моргана.
10) 
– другий закон Моргана.
11) 
– закон подвійного заперечення.
12) 
– закон протиріччя.
13) 
– закон виключення третіх.
14) 
.
15) 
.
16) 
.
Тотожності, що містять константи:
17) 
.
18) 
.
19) 
.
20) 
.
21) 
.
22) 
.
23) 
.
24) 
.
25) 
.
26) 
.
5.2. Завдання:
Звести до ДНФ таке висловлювання. 
Розв‘язок: F=
