Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой

В каком слове допущена ошибка в постановке ударения: верно выделена буква, обозначающая ударный гласный звук? 1) позвОнит; 2) клАла; 3) нАверх; 4) квартАл. 1) красИвее; 2) принЯли; 3) значИмость; 4) лгалА. 1) ворУ; 2) вЫгнано; 3) бралА; 4) пОняв. 1)

На рисунке справа схема дорог Н-ского района изображена в виде графа, в таблице содержатся сведения о длинах этих дорог (в километрах). Так как таблицу и схему рисовали независимо друг от друга, то нумерация населённых пунктов в таблице никак не связана с

Сколько существует различных наборов значений логических переменных x1, x2, ... x8, которые удовлетворяют всем перечисленным ниже условиям? ¬(x1 ≡ x2) ∧ ( (x1 ∧ ¬x3) ∨ (¬x1 ∧ x3) ) = 0 ¬(x2 ≡ x3) ∧ ( (x2 ∧ ¬x4) ∨ (¬x2 ∧ x4) ) = 0 ... ¬(x6 ≡ x7) ∧ ( (x6 ∧