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

Эх! ААА ...в википедию заглянуть сложно? али как?
В АЛ (Алгебре логики) любое высказывание рассматривается только с точки зрения, является оно истинным либо ложным. Употребляемые в обычной речи слова и словосочетания «не» , «и» , «или» , «если… , то» , «тогда и только т. к… - наз-ся логич. связками.
Высказывания, образованные из других выск-ний с помощью лог. связок, называются составными. Выск-я, не являющиеся составными, наз-ся элементарными.
Каждая связка рассматривается как операция над лог. высказыванием и имеет свое название и обозначение.
Операция, выраженная словом «не» - наз-ся отрицанием – неА.
Операция, выраженная связкой «и» - наз-ся конъюнкцией – А&В
Операция, выраженная связкой «или» - наз-ся дизъюнкцией – АvВ
Операция, выраженная связками «если… то» - наз-ся импликацией – А->В
Операция, выраженная связкми «тогда и т. т. к. » - наз-ся эквиваленцией – А=В
Основными являются первые 3 связки. Импликацию можно выразить через связки
не, или. Эквиваленцию – через не, и, или.
Каждой связке соответствует своя таблица истинности.
Порядок выполнения операций задается скобками. Если скобки отсутствуют, сначала выполняется не, потом &, v, импликация – в последнюю очередь.
Таблицы истинности строятся сл. обр. Определяется, сколько всего различных переменных. Под всеми переменными сразу проставляются их возможные значения – комбинации 0 и 1. (напр. , если 2 переменные, то таких комбинаций будет 4 –00,01,10,11, (2^2=4). Если 3, то – 8 (2^3=8), и т. д. Помнится мне, строила я уже тебе ТИ, неуж-то не понял? . Далее выполняются операции над переменными согласно приоритету и соответствующих им ТИ. Результат последней выполненной операции – это рез-т всего лог. выражения. Правила де Моргана –
не (AvB) = неА & неВ
не (A&B) = неА v неВ
Понял али как?