Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

96 9.Тестовые задания по темам (для текущего и промежуточного самоконтроля) Примерные тестовые задания по дисциплине представлены ниже. 1. Какая из формул 1 ( )( ) ( , ( ), ) F x z P x f x z    , 2 ( )( )( ) ( ( ), , ) F x y z P f x y z     представлена в виде скулемовской стандартной формы? Ответ: □ 1 F , □ 2 F , □ ни одна, □ обе. 2. Какая из элементарных конъюнкций 1 xyz   , 2 xyz   является дополнением элементарной конъюнкции xy   по отношению к ДНФ xy xz    ? Ответ: □ ни одна, □ 1  , □ 2  , □ обе. 3. Какой из дизъюнктов 1 C p q   , 2 C p r   является резольвентой дизъюнктов A p q   , B q r   ? Ответ: □ 1 C , □ 2 C , □ ни один,