Подраздел 1.4

1. 1) ТЛФ, так как

2) ТИФ, так как

.

3) ТИФ; 4) ТЛФ; 5) ТИФ; 6) ТИФ; 7) ТИФ; 8) ТИФ; 9) ТИФ; 10) ТИФ.

2. Все приведенные пары формул равносильны. При доказательстве равносильности формул рекомендуется производить преобразования над той формулой, стоящей слева или справа от знака “ ”, которая содержит больше знаков операций и переменных. Это продемонстрируем на примере 5:

.

3. 3)

.

4)

.

5)

4. 1) – базис .

– базис .

– базис .

2) – базис . Продолжаем преобразования:

– базис . Продолжаем преобразование: – базис

3)

– базис .

– базис , – базис .

5.1) ;

2) ;

3)

;

4)

.