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

Логика принимает множество форм, от формальной до символической. Что такое логика и существует ли определение, которое охватывает все её формы? Логика определяется как система, направленная на получение разумных выводов на основе имеющейся информации. Это означает, что целью логики является использование данных для создания выводов. Например, если человек вошёл в комнату и увидел детей, держащих в руках фломастеры, а затем увидел каракули на всех стенах, логика подсказала бы, что на основании представленной информации дети рисовали фломастерами на стенах...