Логические основы алгоритмизации
История Начало исследований в области формальной логики было положено Аристотелем в IV в. до н.э. Однако математические подходы к этим вопросам были впервые указаны Джорджем Булем, который положил в основу математической логики алгебру логики. Алгебра логики оперирует с высказываниями, т.е. повествовательными предложениями, о которых можно сказать (И) - Истинно оно или (Л) - Ложно. Элементарные логические операции Конъюнкция Опред. Соединение двух (или нескольких) высказываний в одно с помощью союза И (AND) называется конъюнкцией (или операцией логического умножения). Обозначаются Λ, &,х. Значения логических операций определяются по правилам, задаваемым в таблице истинности. Истинность конъюнкции задается следующей таблицей.