Какая из следующих конъюнктивных нормальных форм эквивалентна следующей формуле: (¬x+y) →​ (y ∧ z)

Правильный ответ:

• # В стране N в первенстве премьер-лиги по футболу участвуют 15 команд. Назовем два возможных исхода этого первенства совпадающими в главном, если в этих исходах совпадают обладатели золотых, серебренных и бронзовых медалей, а также две команды, покидающие премьер-лигу (т.е. занявшие два последних места). Найдите число не совпадающих в главном возможных исходов первенства.
• # Какие из следующих формул задают несамодвойственные функции: A= (Y ∧¬ Z) ∨ (X ∧ ¬Z) ∨( X ∧ Y), B =(¬ X∧ (Y|Z)) ∨(¬ Y ∧¬ Z) , C= Z ∨(Y ∧¬ X)
• # Используя алгоритм ЗАМЫКАНИЕ(X,F), вычислить замыкание Cl(X,F) набора исходных продуктов X = { b,f } с помощью следующей системы технологических процессов F: a,b,c →​ d; b,c,d →​ a; g,b →​ e; e,f →​ c;f,e →​d;b,f →​ g.
• # Пусть в сигнатуру системы, описывающей результаты экзаменов входит предикат Экз(З, П, О), где З - номер зачетной книжки студента, П - предмет (возможные значения: дм - дискретная математика, инф - информатика, алг - алгебра), О - оценка, полученная за экзамен (ее возможные значения: отл, хор, уд, неуд). Какие из следующих формул правильно выражают смысл предложения "Все студенты, успешно сдавшие алгебру, успешно сдали дискретную математику или информатику". ∀x ∀o∃b( Экз(x, алг, o) ∧ ¬ (o= неуд ) ∧ ¬(b= неуд ) ∧ (Экз(x, дм , b) ∨ Экз(y, инф, b))∀x (¬ Экз(x, алг, неуд) →​ ∃b (¬ (b= неуд )∧ (Экз(x, дм , b) ∨ Экз(x, инф, b))))∀x (∃o( Экз(x, алг, o) ∧ ¬ (o= неуд )) →​ ( Экз(x, дм , неуд ) →​ ¬Экз(y, инф, неуд)))
• # Пусть G=( V, E) - это конечный ориентированный граф без циклов и |E |> 0. Какие из следующих утверждений верны? Сумма степеней всех вершин G четна.Если в G имеется ровно две вершины четной степени, то они связаны путем Если в G имеется ровно две вершины нечетной степени, то они связаны путем