📚

Математическая логика

Математическая логика изучает формальные системы, законы правильного мышления и методы доказательств, что необходимо для анализа алгоритмов, программирования и решения сложных задач в информатике и философии.

Существует ли СКНФ у тождественно истинной формулы алгебры высказываний?
#186683
Существует ли СДНФ у невыполнимой формулы?
#186684
Каково число слагаемых СДНФ формулы?

#186685
Каково число сомножителей СКНФ невыполнимой формулы?

#186686
Можно ли для функции заданной так, что на всех наборах значений переменных она принимает значение 0, построить какую-либ...

#186687
Высказывание: "Произведение целых чисел a и b не делится на 2 в том и только в том случае, если a или b нечетное" в симв...
#186688
Сколько слагаемых содержит СДНФ, построенная по функции, заданной так, что на всех наборах значений переменных она прини...

#186689
Сколько сомножителей содержит СКНФ, построенная по функции?

#186690
Если СДНФ формулы содержит 3 слагаемых, сколько сомножителей содержит ее СКНФ?

#186691
Определить форму следующей формулы:

#186692
Определить форму следующей формулы:

#186693
Определить форму следующей формулы:

#186694
Определить форму следующей формулы:

#186695
Количество «нулевых» значений таблицы истинности формулы:

#186696
Количество «единичных» значений таблицы истинности формулы:

#186697
Логической функции соответствует формула алгебры высказываний:

#186698
Высказывание: "Если а – нечетное число, b – четное число, то их произведение делится на 2" в символической форме имеет в...
#186699
Логической функции, соответствует формула алгебры высказываний:

#186700
Можно ли некоторое высказывание записать в виде релейно-контактной схемы?
#186701
Могут ли две релейно-контактные схемы, соответствующие одной и той же функции проводимости, иметь различное число реле?
#186702

« 1 ... 11 12 13 14 15 ... 38 »