SOLUTION: 1. (P>K) V (F>Y) 2. (PvF) . (KvY) 3. [(P>K)>~N]. [(F>Y)>O] 4. K . ~Y / ~NvO

Algebra ->  Proofs -> SOLUTION: 1. (P>K) V (F>Y) 2. (PvF) . (KvY) 3. [(P>K)>~N]. [(F>Y)>O] 4. K . ~Y / ~NvO       Log On


   

Question 735290: 1. (P>K) V (F>Y)
2. (PvF) . (KvY)
3. [(P>K)>~N]. [(F>Y)>O]
4. K . ~Y
/ ~NvO
Found 2 solutions by lynnlo, jim_thompson5910:
Answer by lynnlo(4176) About Me  (Show Source):
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
You can derive the conclusion ~N v O in one step like so 
1.  (P>K) V (F>Y)
2.  (PvF) . (KvY)
3.  [(P>K)>~N]. [(F>Y)>O]
4.  K . ~Y
/     ~NvO
5.  ~N v O                lines 3,1     Constructive Dilemma (CD)


The other premises (lines 2,4) aren't needed.