Самостоятельная работа по теме Логические формулы. Таблица истинности

Самостоятельная работа по теме: Логические формулы. Таблица истинности.

1 вариант.

1.Даны простые высказывания:

A= “5>3”

B= “2=3”

C= “4<2”

Определите истинность составных высказываний:

1.    (A v B) ^ C→ (A^ C) v (B ^ C)

2.    (A ^ B) v C↔ ((A v C)^(A ^ B))

2.Найдите значение логических выражений( c решением):

1.      (1v1)v(1v0)

2.      ((0^0)v0)^(1v1)

3.Постройте таблицы истинности для следующих формул:

a)     ((Av ┐B)→B)∙(┐A v B)

b)    (A→(C→B))→(B v C)

c)     (A→C)→((B→C)→(A v B→C))

d)    ┐(A→B)→B

----------------------------------------------------------

Самостоятельная работа по теме: Логические формулы. Таблица истинности.

2 вариант.

1.Даны простые высказывания:

A= “6=8”

B= “9>3”

C= “10<5”

Определите истинность составных высказываний:

1.    (A v B) ^ C→ (A^ C) v (B ^ C)

2.    (A ^ B) v C↔ ((A v C)^(A ^ B))

2.Найдите значение логических выражений( c решением):

3.      (0v1)v(1v0)

4.      ((1^1)v0)^(0v1)

3. Постройте таблицы истинности для следующих формул:

a)     ┐(A^B)v B

b)    (A v B)∙C→A∙B

c)     (A→B)→((A→C)→(A→B^C))

d)    A→(B→A^B)

e)