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