Высказывания, образованные из других высказываний с помощью логических связок, называются составными (сложными)

Так, например, из элементарных высказываний "Петров — врач", "Петров — шахматист" при помощи связки " и " можно получить составное высказывание "Петров — врач и шахматист".

При помощи связки " или " из этих же высказываний можно получить составное высказывание "Петров — врач или шахматист", понимаемое в алгебре логики как "Петров или врач, или шахматист, или врач и шахматист одновременно".

Истинность или ложность получаемых таким образом составных высказываний зависит от истинности или ложности элементарных высказываний.

Чтобы обращаться к логическим высказываниям, им назначают имена (большими буквами). Пусть через А обозначено высказывание "Тимур поедет летом на море", а через В — высказывание "Тимур летом отправится в горы". Тогда составное высказывание "Тимур летом побывает и на море, и в горах" можно кратко записать как А и В. Здесь " и " — логическая связка, А, В — логические переменные, которые могут принимать только два значения — "истина" или "ложь".

Условимся, простые высказывания называть логическими переменными и, если высказывание истинно, будем писать A=1, а если ложно, то A = 0 ( здесь А – логическая переменная ).