p => (p^q) önermesi neye denktir?
p'vq en sade şeklidir
00→101→110→011→1olarak yazinca p′∨qonermesi geliyor. Yani acmaya bile gerek yok. Acilmis halini de birisi ekleyebilir, soru sahibi de ekleyebilir.