если 
А и если А* является дуалом (двойственным), правильно построенной формулы А, то
А *, что читается так: "если А доказано, и если А* является дуалом А, то А* доказуемо".
Символ называется знаком утверждения и словесно произносится: "доказуемо").
Логическая операция Исключающее ИЛИ. Её логический смысл и свойства.
Логическая операция И (AND)
Обозначение AND: &
Логическая операция И выполняется с двумя битами, назовем их a и b. Результат выполнения логической операции И будет равен 1, если a и b равны 1, а во всех остальных (других) случаях, результат будет равен 0. Смотрим таблицу истинности логической операции and.
| a(бит 1) | b(бит 2) | a(бит 1) & b(бит 2) |
Логическая операция ИЛИ (OR)
Обозначение OR: |
Логическая операция ИЛИ выполняется с двумя битами (a и b). Результат выполнения логической операции ИЛИ будет равен 0, если a и b равны 0 (нулю), а во всех остальных (других) случаях, результат равен 1 (единице). Смотрим таблицу истинности логической операции OR.
| a(бит 1) | b(бит 2) | a(бит 1) | b(бит 2) |
Логическая операция исключающее ИЛИ (XOR).
Обозначение XOR: ^
Логическая операция исключающее ИЛИ выполняется с двумя битами (a и b). Результат выполнения логической операции XOR будет равен 1 (единице), если один из битов a или b равен 1 (единице), во всех остальных случаях, результат равен 0 (нулю). Смотрим таблицу истинности логической операции исключающее ИЛИ.
| a(бит 1) | b(бит 2) | a(бит 1) ^ b(бит 2) |
Логическая операция НЕ (not)
Обозначение NOT: ~
Логическая операция НЕ выполняется с одним битом. Результат выполнения этой логической операции напрямую зависит от состояния бита. Если бит находился в нулевом состоянии, то результат выполнения NOT будет равен единице и наоборот. Смотрим таблицу истинности логической операции НЕ.
| a(бит 1) | ~a(отрицание бита) |
Логическая операция Импликация. Её логический смысл и свойства.
Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.
Таблица истинности для импликации
| A | B | F |
Логическая операция Эквиваленция. Её логический смысл и свойства.
Эквивале́нция (или эквивале́нтность [1]) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔.
Эквиваленция 
— это сокращённая запись для выражения 
Задаётся следующей таблицей истинности:
| A | B | A ≡ B |
Таким образом, высказывание A ≡ B означает «A то же самое, что B», «A эквивалентно B», «A тогда и только тогда, когда B».
Не надо путать эквиваленцию — логическую операцию с эквивалентностью — бинарным отношением. Связь между ними следующая:
Логические выражения X и Y эквивалентны в том и только в том случае, когда эквиваленция 
истинна при всех значениях логических переменных.
