Булева формула
Материал из Википедии — свободной энциклопедии
Булева формула (по имени Джорджа Буля) — формула логики высказываний. Может содержать логические переменные и пропозициональные связки — конъюнкцию ("
"), дизъюнкцию ("
"), отрицание ("
") и другие. Формула называется тождественно истинной (ложной), если истинна (ложна) при любых значениях перменных.
 |
Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её. |
