Карточка по теме "Алгебра логики"

1. Постройте таблицы истинности для следующих логических выражений:

1. ¬A & B v ¬B

2. (¬A & B v ¬С) v (С & ¬B)

3. (X &¬Y) v (Z v X) & (Z v Y)

2.Постройте таблицы истинности для следующих логических выражений:

1. (A v B) & ¬A

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

3. (X v ¬Y) & (Z v X) & (Z v Y)

3.Постройте таблицы истинности для следующих логических выражений:

1. X v Y & ¬X

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

3. (X v Y) & (¬Z v X) & (Z v Y)

4.Постройте таблицы истинности для следующих логических выражений:

1. X & (¬Y v X)

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

3. (¬X v Y) & (Z v X) & (Z v Y)

1. Постройте таблицы истинности для следующих логических выражений:

1. ¬A & B v ¬B

2. (¬A & B v ¬С) v (С & ¬B)

3. (X &¬Y) v (Z v X) & (Z v Y)

2.Постройте таблицы истинности для следующих логических выражений:

1. (A v B) & ¬A

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

3. (X v ¬Y) & (Z v X) & (Z v Y)

3.Постройте таблицы истинности для следующих логических выражений:

1. X v Y & ¬X

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

3. (X v Y) & (¬Z v X) & (Z v Y)

4.Постройте таблицы истинности для следующих логических выражений:

1. X & (¬Y v X)

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

3. (¬X v Y) & (Z v X) & (Z v Y)

1. Постройте таблицы истинности для следующих логических выражений:

1. ¬A & B v ¬B

2. (¬A & B v ¬С) v (С & ¬B)

3. (X &¬Y) v (Z v X) & (Z v Y)

2.Постройте таблицы истинности для следующих логических выражений:

1. (A v B) & ¬A

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

3. (X v ¬Y) & (Z v X) & (Z v Y)

3.Постройте таблицы истинности для следующих логических выражений:

1. X v Y & ¬X

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

3. (X v Y) & (¬Z v X) & (Z v Y)

4.Постройте таблицы истинности для следующих логических выражений:

1. X & (¬Y v X)

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

3. (¬X v Y) & (Z v X) & (Z v Y)

A

B

¬A

¬B

¬A & B

¬A & B v ¬B

0

0

1

1

0

1

0

1

1

0

0

0

1

0

0

1

0

1

1

1

0

0

1

1

A

B

C

¬A

¬B

¬С

¬A & B

(¬A & B v ¬С)

(С & ¬B)

(¬A & B v ¬С) v (С & ¬B)

0

0

0

1

1

1

0

1

0

1

0

0

1

1

1

0

0

0

1

1

0

1

0

1

0

1

1

1

0

1

1

0

0

0

1

1

0

1

0

1

0

1

1

1

0

0

1

1

0

1

1

0

1

0

1

0

0

0

1

1

1

1

0

0

0

1

0

1

0

1

1

1

1

0

0

0

0

0

0

0

X

Y

Z

¬Y

(X &¬Y)

(Z v X)

(Z v Y)

(Z v X) & (Z v Y)

(X &¬Y) v (Z v X) & (Z v Y)

0

0

0

1

0

0

0

0

0

0

0

1

1

0

1

1

1

1

0

1

0

0

0

0

1

0

0

1

0

0

1

1

1

0

0

1

0

1

1

0

0

1

1

1

1

1

0

1

1

1

1

1

1

1

1

1

0

0

0

1

1

1

1

1

1

1

0

0

1

1

1

1

A

B

¬A

(A v B)

(A v B) & ¬A

0

0

1

0

0

0

1

1

1

1

1

0

0

1

0

1

1

0

1

0

A

B

C

D

¬B

¬C

(A v ¬C)

(D &¬B)

(A v ¬C) & (D &¬B)

0

0

0

0

1

1

1

0

0

0

0

0

1

1

1

1

1

1

0

0

1

0

1

0

0

0

0

0

1

0

0

0

1

1

0

0

1

0

0

0

1

1

1

0

0

0

0

1

1

1

0

0

1

0

0

1

1

0

0

0

0

0

0

0

1

0

1

0

1

1

0

0

1

1

0

0

0

1

1

0

0

1

0

0

1

1

1

1

1

1

1

1

0

0

0

1

1

0

0

0

1

1

1

0

0

0

0

0

1

1

1

0

0

0

1

0

0

1

0

1

1

1

0

1

1

1

1

1

0

1

0

1

1

0

0

1

1

1

1

0

0

1

0

0

X

Y

Z

¬Y

(X v ¬Y)

(Z v X)

(Z v Y)

(X v ¬Y) & (Z v X)

(X v ¬Y) & (Z v X) & (Z v Y)

0

0

0

1

1

0

0

0

0

0

0

1

1

1

1

1

1

1

0

1

0

0

0

0

1

0

0

1

0

0

1

1

1

0

1

0

0

1

1

0

0

1

1

0

0

1

0

1

1

1

1

1

1

1

1

1

0

0

1

1

1

1

1

1

1

1

0

1

1

1

1

1

X

Y

¬X

Y & ¬X

X v Y & ¬X

0

0

1

0

0

0

1

1

1

1

1

0

0

0

1

1

1

0

0

1

A

B

C

¬A

(¬A & B )

(C v ¬A)

(¬A & B ) v (C v ¬A)

0

0

0

1

0

1

1

0

0

1

1

0

1

1

0

1

0

1

1

1

1

1

0

0

0

0

0

0

0

1

1

1

1

1

1

1

0

1

0

0

1

1

1

1

0

0

0

0

0

1

1

1

0

0

1

1

X

Y

Z

¬Z

(X v Y)

(¬Z v X)

(Z v Y)

(X v Y) & (¬Z v X)

(XvY) & (¬ZvX)&(ZvY)

0

0

0

1

0

1

0

0

0

0

0

1

0

0

0

1

0

0

0

1

0

1

1

1

1

1

1

1

0

0

1

1

1

0

1

0

0

1

1

0

1

0

1

0

0

1

0

1

0

1

1

1

1

1

1

1

0

1

1

1

1

1

1

1

1

1

0

1

1

1

1

1