Ирина Эланс
(Росдистант / Математика / Вступительный) Определите формулу в КНФ. (Решение → 84378)
Описание
Определите формулу в КНФ.
(полное условие - в демо-файлах)
A \/ (B /\ (C \/ D))
(B∨A)&(C∨A)
(A /\ B) \/ ¬A
(A /\ B /\ ¬C) \/ (¬D /\ E /\ F) \/ (C /\ D) \/ B
- (Росдистант / Математика / Вступительный) Определите ранг формулы не(xyz) → xz.
- (Росдистант / Математика / Вступительный) Определите формулу в КНФ.
- (Росдистант / Математика / Вступительный) Определить расстояние от точки М(2; –1) до прямой, отсекающей на осях координат отрезки a = 8, b = 6. Ответ ввести в виде целого числа или конечной десятичной дроби.
- (Росдистант / Математика / Вступительный) Основной определитель системы линейных уравнений {x₁ – 3x₂ + 2x₃ = 0, x₁ – x₂ + x₃ = 0, 2x₁ + x₂ – 3x₃ = 0 равен
- (Росдистант / Математика / Вступительный) Параметры k и b для прямой x/4 + y/3 = 1 равны:
- (Росдистант / Математика / Вступительный) Период функции y = 2 sin(3x + 1) равен
- (Росдистант / Математика / Вступительный) Представьте число z = –i в тригонометрической форме.
- (Росдистант / Математика / Вступительный) Найти длину вектора a = 4i + √2j.
- (Росдистант / Математика / Вступительный) Найти значение параметра α, при котором векторы a(2;α;–2), b(3;0;4), c(–1;2;1) будут компланарны.
- (Росдистант / Математика / Вступительный) Найти НОД чисел a, b и c, если a = 63, b = 9, c = 153.
- (Росдистант / Математика / Вступительный) Найти НОК чисел a, b и c, если a = 18, b = 126, c = 256.
- (Росдистант / Математика / Вступительный) Найти решение системы { 3x1 + 4x2 = 7 x1 + 2x2 + 3x3 = 6 x1 - x1 + x3 = 1. Ответ записать в виде суммы значений найденных неизвестных системы.
- (Росдистант / Математика / Вступительный) На плоскости даны 10 точек, причем никакие три из них не лежат на одной прямой. Сколько существует векторов с началом и концом в любых двух из данных точек? Ответ дайте в виде числа.
- (Росдистант / Математика / Вступительный) Областью определения функции y = √4 - x2 является
