Высказывание, которое можно разложить на части, будем называть сложным, а неразложимое далее высказывание - простым

Сложное высказывание получается путем объединения простых высказываний связками - частицей НЕ; союзами И; ИЛИ; НЕВЕРНО, ЧТО...; ТОГДА И ТОЛЬКО ТОГДА..., КОГДА...; ЕСЛИ..., ТО... Значение истинности сложных высказываний зависит от истинности входящих в них простых высказываний и объединяющих их связок.

Например, даны четыре простых высказывания:
На улице идет дождь. (1)
На улице светит солнце. (2)
На улице пасмурная погода. (3)
На улице идет снег. (4)
Составим из них сложные высказывания:
На улице идет дождь и на улице светит солнце.
На улице светит солнце или на улице пасмурная погода.
Неверно что на улице идет дождь и на улице идет снег.
Тогда и только тогда на улице идет дождь, когда на улице пасмурная погода.
На улице не идет дождь и на улице не идет снег.
Если на улице идет дождь, то на улице светит солнце.

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

Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение:

НЕ - отрицанием и обозначается чертой над высказыванием (или знаком ). Высказывание истинно, когда A ложно, и ложно, когда A истинно. Пример. " Луна — спутник Земли " (А); " Луна — не спутник Земли " ().

И - конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой "^. " (может также обозначаться знаками или &). Высказывание А ^. В истинно тогда и только тогда, когда оба высказывания А и В истинны.

ИЛИ - дизъюнкцией (лат. disjunctio — разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.

ЕСЛИ-ТО импликацией (лат. implico — тесно связаны) и обозначается знаком . Высказывание ложно тогда и только тогда, когда А истинно, а В ложно.

В обычной речи связка "если..., то" описывает причинно-следственную связь между высказываниями. Но в логических операциях смысл высказываний не учитывается. Рассматривается только их истинность или ложность. Поэтому не надо смущаться "бессмысленностью" импликаций, образованных высказываниями, совершенно не связанными по содержанию. Например, такими: "если президент США — демократ, то в Африке водятся жирафы", "если арбуз — ягода, то в бензоколонке есть бензин".

РАВНОСИЛЬНО эквиваленцией или двойной импликацией и обозначается знаком или ~. Высказывание  истинно тогда и только тогда, когда значения А и В совпадают

Порядок выполнения логических операций в сложном логическом выражении:

1. инверсия

2. конъюнкция

3. дизъюнкция

4. импликация

5. эквивалентность

Для изменения указанного порядка выполнения операций используются скобки.

В качестве примера рассмотрим высказывание "если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог". Это высказывание формализуется в виде (A v B) C.

Какая связь между алгеброй логики и двоичным кодированием?

Использование знаков 0 и 1 подчеркивает некоторое соответствие между значениями логических переменных и функций в математической логике и цифрами в двоичной системе счисления. Это позволяет описывать работу логических схем ПК и проводить их анализ и синтез с помощью математического аппарата алгебры логики.
Любое устройство ПК, выполняющее действия над двоичными числами, можно рассмотреть как некоторый функциональный преобразователь.
Причем входные числа - значения входных логических переменных, а выходное число - значение логической функции, которое получено в результате выполнения определенных операций. Таким образом, этот преобразователь реализует некоторую логическую функцию.

Работу логических элементов описывают с помощью таблиц истинности.

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

Таблица может иметь вид: