Има една обща класификация на булеви формули, в зависимост от вида на истината маса. На първо място, като нещо естествено, е възможно обяснителни променливи за да се каже, броят във формулата. Най-малко нулеви променливи за формули като (вярно невярно). като най-много - толкова, колкото е необходимо. Второ, тя има стойност, което е написано в последната колона. Ако има само една истина. такава формула се нарича "общовалидна" или "тавтология". В противен случай той ще "neobscheznachimaya" формула. Ако има само една лъжа. такава формула е наречен "невъзможно", в противен случай ще бъде "изпълним" формула. "Неутрална" формули съдържат както вярно. и невярно.
[Универсално валиден формула]: тавтология формула или обикновено е валиден булева формула, маса истина, която съдържа вярно само в дясната колона.
Пример: вярно фалшиви
[Работещ формула]: осъществимостта на формулата е булева формула, истина таблица, която съдържа най-малко един вярно в дясната колона.
[Невъзможно формула]: удовлетворителен формули наречени булева формула истина таблица, която съдържа невярна само в дясната колона.
[Neobscheznachimaya формула]: Neobscheznachimoy формула е булева формула, истина таблица, която съдържа най-малко един фалшив в дясната колона.
Пример: А Б В
[Neutral формула]: Неутралната формулата е булева формула, истина таблица, която съдържа най-малко един фалшив, и най-малко един вярно в дясната колона.
Пример: (A B) C
Думата "тавтология" има няколко различни значения извън математиката. Тя - отчети, които да се използват всички видове примитивен повторение. Например, "масло масло", "ярка светлина", "мечта -". Не може да бъде, защото тя никога не може да бъде "това е една мечта" Тавтология по математика не е задължително да съдържа такъв примитивен повторение. Например, формула (А
А Б В Г) - тавтология. Скоро ще видите, че математическата тавтологията, са много полезни.
Така че, всички булеви формули са разделени в три отделни класове - по принцип е валиден (тавтология), неутрални и невъзможно. Универсално валидни и неутрален заедно даде класа изпълними формули. Неприложимо и неутрален заедно получаване neobscheznachimyh клас. Тук е един добър маса за тази класификация: