• скачать файл

Практическая работа №2 «Логические формулы»

с. 1
Практическая работа №2 «Логические формулы»

ВАРИАНТ № 1

1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (0,1,1).

f(x1,x2, x3) = f1( x3, f3 ( x1, f2 ( f4 ( x1 ), x2)))
2. Доказать равносильность формулы: А ( А & В) = А с помощью таблиц истинности.
3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если «Спартак» выиграет у «Динамо», то он будет призером. «Спартак» выиграет у «Динамо» или проиграет. Следовательно, если «Спартак» не проиграет, то он будет призером.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений:

АС, В С, А В

С
5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.


Практическая работа №2 «Логические формулы»

ВАРИАНТ № 2
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (0,0,1).



f(x1,x2, x3) = f1( x1, f3 ( x3, f2 ( f4 ( x2 ), x1)))
2. Доказать равносильность формулы: A В = В с помощью таблиц истинности.

3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности
Если поздно ложиться спать, а наследующий день надо рано вставать, то утром будет плохое настроение. Следовательно, если завтра не надо встать рано, то можно выспаться и настроение будет хорошее.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений:



. (А & В) С

( А& С) В

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.



Практическая работа №2 «Логические формулы»

ВАРИАНТ № 3
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,0,1).



f(x1,x2, x3) = f2( x1, f1 ( x3, f3 ( f4 ( x2 ), x1)))
2. Доказать равносильность формулы: A ↔ В = (А & В) ( & ) с помощью таблиц истинности.
3. Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если студент отсутствовал на учебе, он не выполнил задания. Студент не выполнил задания. Следовательно, он отсутствовал на учебе
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений:

АВ, АС, В С

А


5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.
Практическая работа №2 «Логические формулы»

ВАРИАНТ № 4
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,1,0).



f(x1,x2, x3) = f2( x2, f1 ( x1, f3 ( f4 ( x3 ), x2)))
2. Доказать равносильность формулы: А В = (А ) ( В) с помощью таблиц истинности.
3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если у тебя плохое настроение и дома никого нет, то следует послушать хорошую музыку. Следовательно, если дома кто-то есть и ты слушаешь хорошую музыку, то настроение будит отличное.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений:



АВ, А В

А


5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.
Практическая работа №2 «Логические формулы»

ВАРИАНТ № 5
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,1,0).


f(x1,x2, x3) = f2( x2, f1 ( x1, f3 ( f4 ( x3 ), x2)))
2. Доказать равносильность формулы: (А С ) ( А) = (В С) А с помощью таблиц истинности.
3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если Петров спит, то он храпит. Следовательно, если Петров не храпит, то он не спит.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений:

А В, А

В

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.



Практическая работа №2 «Логические формулы»

ВАРИАНТ № 6
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,1,0).


f(x1,x2, x3) = f3( f4 ( x1), f1 (x2, f2( x3 , f3( x1, f4( x3 )))))

2. Проверить равносильность формулы: А → = ( &) (& В) (А &) с помощью таблиц истинности.


3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Сегодня понедельник или вторник. Сегодня вторник. Следовательно, сегодня не понедельник.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений

(А & В) С

А ( В  С)

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.




Практическая работа №2 «Логические формулы»

ВАРИАНТ № 7

1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (0,1,0).
f(x1,x2, x3) = f3( f4 ( x2), f1 (x3, f2( x1 , f3( x2, f4( x3 )))))

2. Проверить равносильность формулы () С = ( с помощью таблиц истинности.


3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если идет снег, то на улице нет ветра. Следовательно, если нет ветра, то идет снег.
4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений

А В, А

В

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.

Практическая работа №2 «Логические формулы»

ВАРИАНТ № 8
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,1,0).


f(x1,x2, x3) = f1( f4 ( x2), f2 (x1, f3( x2 , f1( x2, f4( x3 )))))

2. Проверить равносильность формулы с помощью таблиц истинности.


3. Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Петров женат на Маше или Саше. Он женат на Маше. Следовательно, он не женат на Саше.

4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений



А В, В

А

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.

Практическая работа №2 «Логические формулы»

ВАРИАНТ № 9
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (0,1,1).


f(x1,x2, x3) = f2( f4 ( x2), f3 (x3, f1( x1 , f2( x2, f4( x3 )))))

2. Проверить равносильность формулы с помощью таблиц истинности.


3. Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если идет снег, то на улице холодно. Следовательно, если на улице холодно, то идет снег.

4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений



А В, В

А

5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.



Практическая работа №2 «Логические формулы»

ВАРИАНТ № 0
1. Записать функцию f(x1,x2, x3) c помощью логических операций, если f1 – , f2 - &, f3 - , f4 - .

Составить таблицу истинности. Вычислить значение функции при наборе: (1,0,1).


f(x1,x2, x3) = f1( f4 ( x2), f1 (x1, f1( x3 , f2( x2, f4( x1 )))))

2. Проверить равносильность формулы с помощью таблиц истинности.


3.Представить логической формулой следующее высказывание. Установить его правильность

с помощью таблиц истинности


Если идет снег, то на улице нет ветра. Следовательно, если нет ветра, то идет снег.

4. Построением таблицы истинности подтвердить справедливость правила логически правильных рассуждений


А В, А

В
5. Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.
с. 1