конъюнкция
41Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …
42БУЛЕВЫХ ФУНКЦИИ МИНИМИЗАЦИЯ — представление булевых функций нормальными формами (см. Булевых функций нормальные формы). простейшими относительно нек рой меры сложности. Обычно под сложностью нормальной формы понимается число букв в ней. В этом случае простейшая форма наз.… …
43Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …
44ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …
45ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …
46ПРОТИВОРЕЧИЕ — два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь химический элемент» и «Латунь не является химическим элементом», «2 простое число» и «2 не является простым числом». В одном из противоречащих высказываний что то… …
47Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …
48Схема функциональной целостности — (СФЦ) это логически универсальное графическое средство структурного представления исследуемых свойств системных объектов. Описание аппарата схем функциональной целостности было впервые опубликовано Можаевым А.С. в 1982 году [1]. По построению… …
49закон ассоциативности — (от лат. associatio соединение) общее имя для ряда логических законов, позволяющих по разному группировать высказывания, соединяемые с помощью конъюнкции ( и ), дизъюнкции ( или ) и др. Операции сложения и умножения чисел в математике… …
50идемпотентности закон — (от лат. idempotens сохраняющий ту же степень) логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через и и или равносильно самому высказыванию. Напр., Марс планета и Марс… …
