Главная » Статьи » Математика » Математика

Алгебра высказываний _Основные равносильности
Основные равносильности

     Закон двойного отрицания

  =
 p = p

     Идемпотентность

p \/ p \/ ... \/ p = p · p /\ p /\ ... /\ p = p


     Коммутативность

p \/q = q \/ p   ·  p /\ q = q /\ p

     Ассоциативность

p\/(q \/ r) = (p \/ q) \/ r, p /\  (q /\  r) = (p /\ q)r

     Дистрибутивность

p \/ (q /\ r) = (p \/ q) /\ (p \/ r) = (p \/ q) \/ r

p /\ (q \/ r) = (p /\ q) \/ (p /\ r) = pq \/ pr

     Законы де Моргана

_____         __      __      _____          _        _
p \/ q = p  /\ q  , p /\ q = p \/ q

     Формулы с константами

         _   
\/  p =  1,  p  \/ 0  =  p, p  \/ 1  =  1

Основные равносильности     

_
p /\ p = 0, p /\ 0 = 0, p /\ 1 = p


     Закон двойного отрицания

=
p = p

     Идемпотентность

p \/ p \/... \/ p = p, p /\ p /\.../\ p = p

     Коммутативность

p \/ q  = q \/ p , p /\  q = q /\ p

     Ассоциативность

p \/ (q \/ r) = (p \/ q) \/ r, p /\ (q  /\ r) = (p /\ q)  /\ r

     Дистрибутивность


\/ (q /\ r) = (p \/ q) /\ (p \/ r) = (p \/ q) \/ r

p /\ (q \/ r) = (p /\  q) \/ (p /\ r) = pq \/ pr

     Законы де Моргана

_____       _        _   _____      _        _
p \/ q = p /\ q , p /\ q = p \/ q

     Формулы с константами

      _
p \/ p = 1, p \/ 0 = p , p  \/ 1 = 1
      _
p /\ p = 0,p /\ 0 = 0 , p /\  1= p

Категория: Математика | Добавил: alexlat (30.06.2012)
Просмотров: 1965 | Комментарии: 1 | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]