Вариант 7.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{A(CB), DA, C}  DB.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{AB, AC, CB, DA}  (BD)B.

3. Проверьте методом свёртки, верно ли логическое следствие

{B, CA}  ACCB.

4. Проверьте методом резолюций, верно ли логическое следствие

{A, BC, CD}  (BA)(BD).

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{A, DC, B(AD), BC}  C.

Вариант 8.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{AB, CD}  (AC)(BD).

2. Проверьте алгебраическим методом, верно ли логическое следствие

{(AC)(BD)}  (AB)(CD).

3. Проверьте методом свёртки, верно ли логическое следствие

{AB, CD}  (AC)(BD).

4. Проверьте методом резолюций, верно ли логическое следствие

{EF, C(DE), (AB)C}  D(AF).

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{A(CB), DA, C}  DB.

Вариант 9.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{C, (AB)(CA)}  A.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{AC, AB, CB}  ABBC.

3. Проверьте методом свёртки, верно ли логическое следствие

{A(BC), A(BC)}  AC.

4. Проверьте методом резолюций, верно ли логическое следствие

{A(BC), C(BA), DA, AB}  D.

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{AB, AD, CE}  (BC)(DE).

Вариант 10.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{A, BC}  BABC.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{C(AB), D(BC)}  ABD.

3. Проверьте методом свёртки, верно ли логическое следствие

{A, BC}  (AC)B.

4. Проверьте методом резолюций, верно ли логическое следствие

{AB, BD, DA, BC,CD}  D.

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{AB, AC, AC, C(AD)}  BD.

Вариант 11.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{A, BC}  (AC)B.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{(AC)AB}  AB.

3. Проверьте методом свёртки, верно ли логическое следствие

{A, BC}  BABC.

4. Проверьте методом резолюций, верно ли логическое следствие

{AB, AC, AC, C(AD)}  BD.

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{AB, BD, DA, BC,CD}  D.

Вариант 12.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{A(BC), A(BC)}  AC.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{CA, BC, BD, DA}  A.

3. Проверьте методом свёртки, верно ли логическое следствие

{C, (AB)(CA)}  A.

4. Проверьте методом резолюций, верно ли логическое следствие

{AB, AD, CE}  (BC)(DE).

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{A(BC), C(BA), DA, AB}  D.