Ya da (✓) Bağlacının Özellikleri Değişme özelliği: pvq=qvp Birleşme özelliği: (pvq) vr=pv (qvr) ÖRNER 13 (pvp)vq bileşik önermen

Ya da (✓) Bağlacının Özellikleri Değişme özelliği: pvq=qvp Birleşme özelliği: (pvq) vr=pv (qvr) ÖRNER 13 (pvp)vq bileşik önermenin en sade şeklini bulunuz. H OL ★pvp=1, p<0=p, pv1 = p' Koşullu Önerme (ise (=) Bağlacı) pile q önermelerinin ise bağlacıyla bağlanmasıyla oluşa leşik önerme p⇒q şeklinde yazılır ve "p ise q" diye oku p⇒q önermesine koşullu önerme denir. p⇒q koşullu önermesinde p önermesi q için yeter kog önermesi de p önermesi için gerek koşuldur. p⇒q=p²vq 1⇒1=1, 1=0=0, 0⇒1=1, 0⇒0=1 p⇒p=1, p⇒p'=p', p⇒0=p'