Булева формула

Материал из Википедии — свободной энциклопедии

Текущая версия (не проверялась)

Булева формула (по имени Джорджа Буля) — формула логики высказываний. Может содержать логические переменные и пропозициональные связки — конъюнкцию (" $\wedge$ "), дизъюнкцию (" $\vee$ "), отрицание (" $\neg$ ") и другие. Формула называется тождественно истинной (ложной), если она истинна (ложна) при любых значениях переменных.