justify">. Переместітельний (комутативними) закон:
для логічного додавання: AVB=BVA
для логічного множення: A amp; B=B amp; A
Результат операції над висловлюваннями не залежить від того, в якому порядку беруться ці висловлювання.
3. Сполучний (асоціативний) закон:
для логічного додавання: (A v B) v C=A v (Bv C);
для логічного множення: (A amp; B) amp; C=A amp; (B amp; C).
При однакових знаках дужки можна ставити довільно або взагалі опускати.
. Розподільчий (дистрибутивний) закон:
для логічного додавання: (A v B) amp; C=(A amp; C) v (B amp; C);
для логічного множення: (A amp; B) v C=(A v C) amp; (B v C).
Визначає правило виносу загального висловлювання за дужку.
. Закон загальної інверсії (закони де Моргана):
для логічного додавання: ¬ (Av B)=¬A amp; ¬B;
для логічного множення: ¬ (A amp; B)=¬A v ¬B;
. Закон ідемпотентності
для логічного додавання: A v A=A;
для логічного множення: A amp; A=A.
Закон означає відсутність показників ступеня.
. Закони виключення констант:
для логічного додавання: A v 1=1, A v 0=A;
для логічного множення: A amp; 1=A, A amp; 0=0.
. Закон протиріччя: A amp; ¬A=0.
Неможливо, щоб суперечать висловлювання були одночасно істинними.
9. Закон виключення третього: A v ¬A=1.
. Закон поглинання:
для логічного додавання: A v (A amp; B)=A;
для логічного множення: A amp; (A v B)=A.
. Закон виключення (склеювання):
для логічного додавання: (A amp; B) v (¬A amp; B)=B;
для логічного множення: (A v B) amp; (¬A v B)=B.
. Контрапозиція (правило перевертиванія):
(A v B)=(Bv A).
¬ (А? В)=А amp; ¬В
¬А amp; (АvВ)=¬А amp; В
Аv ¬А amp; В=АvВ
Формула має нормальну форму, якщо в ній відсутні знаки еквівалентності, імплікації, подвійного від ріцанія, при цьому знаки заперечення знаходяться тільки при змінних.
F=B? ((B A)? ((B? A) (¬B? A)))=B? ((¬BvA)? (¬ (B? A) v (¬B? A)))=B? ((¬B v A)? (¬B v ¬A v ¬B? A)=B? (((¬B v A)? ¬B) v ((¬B v A)? ¬A) v (( ¬B v A)? (¬B v A)))=B? (? B v (A?? B) v (? A?? B) v (A?? A) v (? B? A)) =B? (? B v (A?? B) v (? A?? B))=B? (? B v? B? (A v? A))=B?? B=0
? ? ? ???? 11.1 -? ? ? ???? ???? ?? ????
AB¬B (BA) (B? A) (¬B? A) (B? A) (¬B? A) ((BA)? ((B? A) (¬B ? A))) F001100110010000100101101110110110000
? ??? ? ?
? ???????? ? ? ? ????? ? ?? ???? ?? ?? ? ? ??? ? ? ?? ??? ?? ? ? ? ? ? ???? ? ? ? _ MS Excel. ? ???? ? ????? ??? ?????? ???????? ? ???? MS Accses. ? ?????? ? ???? ?? ?, ???? ??? ?? ?? ? ? ????? ? ?? ?? ?? ?? ?? ? ? ??? ??? ? ???? ?? ? ? ? ???? ??? ?? ?? ?? ? ?? ?? ???? ? ? ? ? ? ? ?. ? ???????? ? ??? ? ????? ????? ? ? ? ? ????????? ?? ?? ? ?? ?? ? ?? ? ? ? ? ????????? ?? ?? ? ???? ? ?? ? ?? ? ?? ???? ? ????? ??? ?? ?? ? ??.
? ????? ?? ? ?
?? ??,? ???? ? ? ? ?? ? ? ?? ??? ?? ? ? ? ??? ? ?? ? ?? ?? ? ????????? ???? ?? ? ? ???? ? ? ?? ?? ??? ??? ? ? ?? ?????? ?? ???? ?? ??? ?????? ? ? ??? ? ???? ? ? ???? ? ?? ?? ?? ????????. ? ? ? ?? ? ? ? ?? ? ?? ??? ?? ? ??? ?? ? ?? ??? ? ??? ?? ? ??? ? ? ? ? ?? ? ??? ? ? ? ???? ? ? ?? ? ?? ? ? ??? ? ?? ?? ??? ? ??? ??? ? ? ?? ??? ? ? ?? ??????. ?? ?? ? ??? ?? ?? ?? ? ?? ? ?? ??? ? ? ?? ? ??? ?? ? ?????? ? ? ? ? ??- ?? ? ?? ??? ???????? ? ? ? ???? ?- ?? ???? ?? ?? ??? ? ???? ? ????. ? ? ? ? ?? ?? ??,? ? ? ?? ??? ?? ? ???? ? ??? ? ? ?? ?? ? ?? ?? ? ??? ? ? ??? ?? ?? ?? ??? ? ???? ? ???? ?????? ?? ???? ?? ??? ? ??? ??.
? ?? ? ?? ?? ??????? ???? ?? ?? ? ???? ??? ? ???? ? ????-? ?? ? ??? ???? ? ??????? ? ????? ??? ? ?? ? ???? ?? ? ???? ?? ???? ? ? (?). ? ? ??? ? ??? ? ? ?? ...
