Вариант 13.

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

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

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

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

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

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

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

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

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

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

Вариант 14.

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

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

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

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

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

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

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

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

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

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

Вариант 15.

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

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

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

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

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

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

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

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

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

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

Вариант 16.

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

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

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

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

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

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

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

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

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

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

Вариант 17.

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

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

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

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

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

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

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

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

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

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

Вариант 18.

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

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

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

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

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

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

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

{AB, BC, C, D, AD}  AB.

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

{A(BC), CDE, FED}  A(BF).