Тест №2

1. Для приведенной формулой является…

1) ;

2) ;

3) ;
4) .
2. Сколько различных функций алгебры логики от n переменных?

1) n;

2) ;

3) ;

4) .

3. Задать функцию формулой

1) ;

2) ;

3) ;

4) .

4. Пусть задана система высказывательных переменных . Элементарными дизъюнкциями не являются:

1) x;

2) ;

3) ;

4) .

5. Пусть задана система высказывательных переменных . Выписать элементарные конъюнкции.

1) ;

2) ;

3);

4) .

6. Найти тождественно истинные элементарные дизъюнкции:

1) ;

2) ;

3) ;

4) .

7. Какая из элементарных конъюнкций является тождественно ложной:

1) ;

2) ;

3) ;

4) .

8. Привести формулу к КНФ.

1) ;

2) ;

3) ;

4) .

9. Привести формулу к ДНФ.

1) ;

2) ;

3) ;

4) .

10. Пусть задана система высказывательных переменных . Какая из формул является СКНФ:

1)

2)

3)

4)

11. Пусть задана система высказывательных переменных . Какая из формул является СДНФ:

1) ;

2) ;

3) ;

4) .

12. Построить СДНФ для А по таблице истинности:

		А

1) ;

2) ;

3) ;

4) .

13. Путем равносильных преобразований привести к СКНФ формулу .

1) ;

2) ;

3) ;

4) .

14. Какой является формула

1) Тождественно истинной;

2) Тождественно ложной;

3) Выполнимой.

15. Выразить через и –.

1) ;

2) ;

3) ;

4) .

Лекция 3. Приложение алгебры высказываний

Дата добавления: 2014-01-07