В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...

К точным наукам принято относить математику, физику, химию, информатику, а также некоторые разделы биологии. Все формальные науки — точные, при этом естественные науки, будучи в значительной части своих разделов точными, формальными не являются. Точные науки могут быть как фундаментальными, так и прикладными. Математика — точная наука, первоначально исследовавшая количественные отношения и пространственные формы; более современное понимание: это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств,— именно тех, которые в качестве аксиом положены в основание той или иной математической теории...