Professional Documents
Culture Documents
Предавање 2
Предавање 2
Исказни еквиваленции
1
2
Впвед
(p q) (q r) (p r)
T
T T T
T T T T T
T T
T T T
T T T T T
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
8
Задпвплива исказна фпрмула
(p q) (p r) q
()=T, ако
()=T и ()=T или
()= и ()=T или
()= и ()= .
Нека ()= и ()=T.
Од ()= следи (p)= и (q)= .
1. Тавтологија е
xx, па и
(pq)r (pq)r
2. Тавтологија е (pq) (qp), па тогаш (заради
правило на замена) тавтологија е и
((pq) (sp)) ((sp) (pq))
(Замена: р со (pq), q со (sp).)
p q p pq pq
T T T T
T
T T T T
T T T
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
19
Лпгички еквиваленции
Лпгички закпни
o Закони за доминација
• pTТ
• p
o Закони за идемпотентност
• ppp
• ppp
o Комутативни закони
• (p q) (q p)
• (p q) (q p)
o Асоцијативни закони
• (p q) r p (q r)
• (p q) r p (q r)
o Дистрибутивни закони
• p (q r) (p q) (p r)
• p (q r) (p q) (p r)
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
22
Лпгички еквиваленции
Лпгички закпни
o Де Морганови закони
• (p q) p q
• (p q) p q
o Закони за апсорпција
• p (p q) p
• p (p q) p
o Закони за негација
• p p T
• p p
www.finki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twitter.com/FINKIedu
23
Обппштени Де Мпрганпви Закпни