1,686 views

1 Answer

Best answer
3 votes
3 votes

p → ((p → q)  ∧  ~(~q v~p))

--- p   ((p → q) ∧ ~(~q v~p))

--- p   (---(p  q) ∧ (q  v p))

--- p   (---(p ∧  q)  v  ( ----P  ∧  P )  v (---q  ∧  q)   (q ∧  p))

--- p   (---(p ∧  q) v  0    (  )   (q ∧  p))

--- p   (---(p ∧  q)  v   (  )    (q ∧  p))

--- (p ∧  (---q  v   q))  ((---p    q)  v  (q  ∧  (p v ----p))   v   (q ∧  p))

(---p ∧  q )  v  (---p ∧  ---q )   (---p    q)   (q ∧  p)  v  (q ∧ ---p)   (q ∧  p)

(---p ∧  q )  v  (---p ∧  ---q )   (---p    q)   (p   q) -----> PDNF

selected by

Related questions

0 votes
0 votes
2 answers
1
Rohit_0e1 asked May 11, 2022
971 views
suggest some good resources for discrete mathematics