Контрольная работа по теме «Логика»
Вариант 1
Часть А.
1. Дизъюнкция – это
Логическое сложение;
Логическое отрицание;
Логическое умножение;
Логическое следование;
Логическое равенство.
2. В результате какой логической операции образовано сложное высказывание, если оно образовано с помощью логической связки «если…, то…»?
Логического сложения;
Логического отрицания;
Логическое умножение;
Логическое следование;
Логическое равенство.
3. В результате какой логической операции образовано сложное высказывание, если оно истинно тогда и только тогда, когда все входящие в него простые высказывания ложны или истинны одновременно?
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
4. Каким знаком обозначается конъюнкция?
V
&
→
¬
~
5. Логическое отрицание – это …
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
Часть В.
1. Найдите значение выражений:
(1 v 1) V (¬1&1).
((1&А)V( ¬А&0))V1;
2. Составить таблицы истинности логических выражений:
¬А V В&А;
А&(Вv ¬В&С).
3. Упростите данную логическую функцию
((x v ¬y) & y) v (¬x & (y v x)).
Контрольная работа по теме «Логика»
Вариант 2
Часть А.
1. Инверсия – это
Логическое сложение;
Логическое отрицание;
Логическое умножение;
Логическое следование;
Логическое равенство.
2. В результате какой логической операции образовано сложное высказывание, если оно образовано с помощью логической связки «…или…»?
Логического сложения;
Логического отрицания;
Логическое умножение;
Логическое следование;
Логическое равенство.
3. В результате какой логической операции образовано сложное высказывание, если оно истинно тогда и только тогда, когда истинны все входящие в него простые высказывания?
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
4. Каким знаком обозначается эквиваленция?
V
&
→
¬
~
5. Логическое следование – это …
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
Часть В.
1. Найдите значение выражений:
(1 & 1) V (¬0V 0).
(1&0V1)&(1VА);
2. Составить таблицы истинности логических выражений:
С&¬В V ¬С&В
¬АV(ВV¬ С &В).
3. Упростите данную логическую функцию:
((x & z) v ( z & ¬ x)) v (y & (z v ¬z)).
Контрольная работа по теме «Логика»
Вариант 3
Часть А.
1. Конъюнкция – это
Логическое сложение;
Логическое отрицание;
Логическое умножение;
Логическое следование;
Логическое равенство.
2. В результате какой логической операции образовано сложное высказывание, если оно образовано с помощью логической связки «тогда и только тогда, когда…»?
Логического сложения;
Логического отрицания;
Логическое умножение;
Логическое следование;
Логическое равенство.
3. В результате какой логической операции образовано сложное высказывание, если оно ложно тогда и только тогда, когда истинного высказывания следует ложное?
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
4. Каким знаком обозначается инверсия?
V
&
→
¬
~
5. Логическое сложение – это …
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
Часть В.
1. Найдите значение выражений:
(¬1 & 1 V 0) & (¬0 V 1).
(1 V 0&1) V 1&А;
2. Составить таблицы истинности логических выражений:
С&¬В V С→В
(АVВ) ~ (¬ С &¬В).
3. Докажите, упростив данное логическое выражение, что оно является тождественно истинным:
¬ с v (а & ¬а) v (x & с) v (с & ¬ x).
Контрольная работа по теме «Логика»
Вариант 4
Часть А.
1. Эквиваленция – это
Логическое сложение;
Логическое отрицание;
Логическое умножение;
Логическое следование;
Логическое равенство.
2. В результате какой логической операции образовано сложное высказывание, если оно образовано с помощью логической связки «не…»?
Логического сложения;
Логического отрицания;
Логическое умножение;
Логическое следование;
Логическое равенство.
3. В результате какой логической операции образовано сложное высказывание, если оно ложно тогда и только тогда, когда ложны все входящие в него простые высказывания?
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
4. Каким знаком обозначается импликация?
V
&
→
¬
~
5. Логическое умножение – это …
Дизъюнкция;
Конъюнкция;
Инверсия;
Импликация;
Эквивалентность.
Часть В.
1. Найдите значение выражений:
(0 V 1) V (¬1& 0).
(1 & 0 V 1) ~ 1&0;
2. Составить таблицы истинности логических выражений:
¬ С → (¬В & С V В)
(А→В) & (¬ С V ¬В).
3. Упростите данное логическое выражение:
[(¬ с & а) V (¬ с & ¬ а )] & [(¬x V а) & (а V x)].