Самостоятельная работа_Законы Алгебры логики_Таблица истинности
материал по информатике и икт (10 класс)

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

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.Постройте таблицы истинности для следующих формул:

1. ((Av ┐B)→B)∙(┐A v B)
2. (A→(C→B))→(B v C)
3. (A→C)→((B→C)→(A v B→C))
4. ┐(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. Постройте таблицы истинности для следующих формул:

1. ┐(A^B)v B
2. (A v B)∙C→A∙B
3. (A→B)→((A→C)→(A→B^C))
4. A→(B→A^B)