дизъюнктивный
31Семейство стемоновые (Stemonaceae) — Семейство стемоновых состоит из 3 родов и 30 видов, обитающих главным образом в тропиках и теплых областях Восточной, Южной, Юго Восточной Азии и Северо Восточной Австралии; один представитель этого семейства крумия немногоцветковая… …
32ЖЕГАЛКИН — Иван Иванович (род. 1869 – ум. 1947) – рус. логик и математик, один из создателей школы математической логики. Построил логику высказываний в виде арифметики двух чисел – нуля («четное») и единицы («нечетное»), в которой в отличие от обычного… …
33ДИЗЪЮНКЦИЯ — (от лат. disjunctio разобщение, обособление), в широком смысле сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символич. логике Д. наз. логич. связку… …
34КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …
35ЖЕГАЛКИН Иван Иванович — (род. 1869 – ум. 1947) рус. логик и математик, один из создателей школы математической логики. Построил логику высказываний в виде арифметики двух чисел – нуля («четное») и единицы («нечетное»), в которой в отличие от обычного способа построения… …
36Женьшень — У этого термина существуют и другие значения, см. Жень шень (альбом). Женьшень …
37Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …
38Конъюнктивный одночлен — (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то… …
39Макстерм — Дизъюнктивный одночлен (макстерм) от переменных дизъюнкция этих переменных или[1] их отрицаний. Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1.… …
40Минтерм — Конъюнктивный одночлен (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся… …
