[(p∨q)⇒p]∧[p⇒(p∨q)]≡[(p∨q)′∨p]∧[p′∨(p∨q)]
≡[(p′∧q′)∨p]∧[(p′∨p)∨q]
≡[(p′∨p)∧(q′∨p)]∧[(p′∨p)∨q]
≡[1∧(q′∨p)]∧[1∨q]
≡(q′∨p)∧q
≡(q′∧q)∨(p∧q)
≡(0∨(p∧q)
≡p∧q
[1 v q]=1 değil mi? q almissiniz da