double arrow

Основные понятия Булевой алгебры

Основные понятия, элементы и формы Булевой алгебры

Логическая переменная – это переменная, которая может принимать одно из двух значений ноль и единица (истина или ложь).
Логическая константа – это константа (постоянная величина) которая может принимать значение ноль или единица (истина или ложь).
Логическая функция – это функция, которая может принимать два значения ноль и единица (истина или ложь).

Наиболее универсальным средством представления логической функций может являться таблица истинности.

Таблица истинности – это таблица, показывающая все входные и выходные значения высказывания, процесса, действий и т.д. Приведем простой пример:

Ребенку очень хочется пойти погулять на улицу. У него есть папа, мама, бабушка и дедушка. Что бы ему разрешили идти гулять необходимо согласие хотя бы двух взрослых. Таким образом, согласие взрослого выразим цифрой “1”, не согласие “0” и построим таблицу истинности.

Глядя на таблицу истинности видны все варианты исхода событий. Значение результата, где он равен “1” означает, что ребенок пойдет гулять, “0” — не пойдет.

А вот так выглядят таблицы истинности для основных (двоичных) функций.

Наиболее широкое применение в алгебре логики получила функционально полная система функций (Булевый базис), выраженная в виде базовых логических функций одной переменной “ НЕ ” (отрицание) и двух функций двух переменных – это “И” (конъюнкция или логическое умножение) и “ИЛИ” (дизъюнкция или логическое сложение).


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: