Построить таблицы истинности.

Построить таблицы истинности.

1.

2.

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­A v (B Þ C) v A & B Þ C

4. (A Þ B) v C Þ A & (B Þ C)

Построить таблицы истинности.

1. B Þ D & (C Þ A) Û D& C

2. (A & D) Þ B & C Û C v A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­ B v (A Þ B) v (B & A)

4. C & A Þ A v (C Þ A) v A

Построить таблицы истинности.

1. (B Þ C) & ­(C & D) Þ A Û B

2. (A & B) Þ D Û B v C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­B & (A Þ B) v (B Þ A)

4. (A Þ A v B) Þ A & B

Построить таблицы истинности.

1. A & D Þ C & B v (C Þ C Û A)

2. C & A & D Þ B & C Û A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­(P Þ Q) Þ P v Q v P & Q

4. P Þ Q v (P & Q Þ P)

Построить таблицы истинности.

1. A v B Þ C & (D Û C)

2. (B & (C Þ A) Þ C) Þ (A & B Û A & B) v (C Þ A)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­P v Q v (P Þ Q) & (P Þ Q)

4. P v Q Þ P & Q v Q

Построить таблицы истинности.

1. A & D v (C Û D Þ B)

2. A & (B v (C & A Þ A) Û B) Þ (B v C Þ A) & B

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (A v B Þ A & B) v A Þ B

4. (P Þ Q) v (P Þ Q) v P

Построить таблицы истинности.

1. B & C Þ A & B Û D

2. C & A & (B Þ C) Þ (A & (B Þ C) Û A & B) v C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. P Þ Q v (P Þ Q) v Q

4. A Þ B v ((A Þ B) Þ A)

Построить таблицы истинности.

1. A & B Þ C v (C Þ B) Û D

2. ((A Û B Þ C) Þ C & B) v A Þ C & A & B v C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. R Þ T & R v (T Þ T v R)

4. K v (S Þ K & S) v (K Þ S)

Построить таблицы истинности.

1. (­A & B) v (D & B) Þ C Û B

2. [C & (B Þ A) Û (CÞ A v B)] Þ (A & C Þ A) & B

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. A Þ B & B v (B Þ A)

4. C v (D v D Þ C) v D & C

Построить таблицы истинности.

1. (AÞ D v C) Þ D Û B v C

2. C & (B Þ A & C v A) Û (B Þ A) Þ C v A& C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. P v ­Q & P Þ P v (Q Þ P)

4. C v D & D & (D Þ D)

Построить таблицы истинности.

1. A v (A v D Þ C & B) Þ (D Û A)

2. A & (B v (C Þ A Û C) Þ B) Þ D

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­C v (B Þ C) v A & B Þ C

4. (A Þ B) v C Þ A & (A Þ B)

Построить таблицы истинности.

1. ­D Þ (A Û C) v (C Þ B)

2. (A & D) Þ B & D v C Û A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. B v (A Þ B) v (B & A)

4. C & A Þ A v (C Þ A) v A

Построить таблицы истинности.

1. (B Þ C) & ­(В & A) Þ A Û B

2. (C & D Û (B Þ A) Þ C) v D v C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (B v (A Þ B))v (B Þ A)

4. (A Þ A v B) Þ A & B

Построить таблицы истинности.

1. (A Û D) Þ C & (B v (C Þ D & A))

2. A & B v (C Û (A Þ C) & B Þ D)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (P Þ Q) Þ P v (Q v P) & Q

4. P Þ Q v (P &(Q Þ P))

Построить таблицы истинности.

1. (A Þ D Û C) Þ (A v B)

2. A & (B Þ C) Û (D Þ C)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. ­­ (P v Q) v (P Þ Q) v (P Þ Q)

4. P v (Q Þ P) & Q v Q

Построить таблицы истинности.

1. ­A & D Û (C & A Þ B)

2. A Û (B v (C & D Þ A) Þ D) Þ A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (A v (B Þ A) & B) v A Þ B

4. (P Þ Q) v (P Þ Q) v P

Построить таблицы истинности.

1. A & D Þ C Û (B Þ C & A)

2. A Û (B Þ C) & D Þ A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (C v B) v (B Þ C) & C

4. (A Þ B) v (A Þ B) Þ A

Построить таблицы истинности.

1. A Þ B Û (C Þ D v A)

2. ((A & B Þ C) Û C & B) v A Þ B v C v (C Þ A)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. R Þ T & (R v (T Þ T v R))

4. K v ((S Þ K) & S) v (K Þ S)

Построить таблицы истинности.

1. A Û B v (D & B) Þ C & B

2. (A v D v C Þ A) & B Þ A Û C

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (C v (D v D Þ C) v D) & C

4. A Þ B & B v (B Þ A)

Построить таблицы истинности.

1. ((AÞ B v D) Þ A v B) Û C

2. C & (B Þ D Û C v A) & (D Þ A)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (P v ­Q) & P Þ P v (Q Þ P)

4. C v D & D & (D Þ D)

Построить таблицы истинности.

1. ­A Þ B v D Û A & C

2. A Û (B v D Þ A & B) Þ C & D

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (A v (B Þ C) v A) & B Þ C

4. (A Þ B) v C Þ A & (B Þ C)

Построить таблицы истинности.

1. ­A Û B & C v (D Þ A)

2. A & D Þ B & C Û C v A

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. C v (B Þ C v B) Þ B & (B Þ C v B)

4. B v (A Þ B) v B & A v (A Þ B v B) & A

Построить таблицы истинности.

1. (B Þ C & ­(C & A)) Þ A & (B & C Û A) & B

2. D & B Þ (C v D v C Þ A & B)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. C v D Þ (D v C Þ C) v (D v C)& D

4. B v (A Þ B) v (B Þ A) v A Þ B

Построить таблицы истинности.

1. A & (D Þ C) & D v C Þ B & A

2. B v (C v A Þ C & (B Þ A)) & (B & C Þ A)

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (P Þ Q) Þ P v Q v P & Q

4. P Þ Q v (P & Q Þ P)

Построить таблицы истинности.

1. A & (B Þ C & B)& (B Þ (C Þ A)) Þ B & C

2. A v B & (C Þ A) Þ (B Þ (B v C Þ A))

Преобразовать формулы так, чтобы они содержали только знаки а) конъюнкции и отрицания; б) дизъюнкции и отрицания.

Доказать эквивалентность исходной и полученной формул с помощью таблиц истинности.

3. (P v Q v P Þ Q) v (P Þ Q)

4. (P v Q Þ P) & Q v Q

Дата добавления: 2015-09-29