Основни и несъществени променливи
Основи на булевата алгебра
Основни определения
Определение. Функция на логическата алгебра (логическа функция, булева функция) н променливи е(хедин,..., xn) е функция, която приема стойности 0 или 1, чиито аргументи също приемат стойности 0 или 1. Константа 1 се извиква по друг начин истината, а константата 0 е лъжи.
Извикват се аргументи на булева функция логически (булева)
Така че, ако, тогава е логическа функция н променливи.
Булева функция н могат да се задават променливи таблица на истината видове (Таблица 1)
Функционална таблица на истината н променливи съдържа низове, в които се записват различни възможни набори от стойности на аргументи на функции (такива набори се извикват двоични набори от дължина н). Числото се получава по принципа на умножение: за задаване на двоичен набор от дължина н трябва да направя н действия, всяко от които може да се извърши по два начина - присвояване на следващата променлива стойността 0 или 1.
Всеки набор от стойности на аргументи може да бъде свързан с два варианта на стойности на функциите в този набор - 0 или 1. По този начин броят на различните булеви функции н променливите еднакво и много бързо нараства с увеличаване н.