Логические формулы. Булева алгебра

Тест для самоконтроля

1. Формулы представляющие одну и ту же функцию, называются... .

a) Взаимно обратными.
б) Эквивалентными.
в) Двойственными.

2. Как по другому называют формулу X┐X?

а) Закон противоречия.
б) Закон исключенного третьего.
в) Закон исключенного четвёртого.

3. Верно ли, что X ˜ Y=┐X∙┐YX∙Y?

а) Да
б) Нет

4. Укажите правильный ответ.
XY=...

а) ┐X∙YX∙┐Y
б) X∙┐Y┐X∙Y
в) ┐X∙Y┐X∙Y
г) X∙┐Y┐X∙Y