Thank you! :) 1) ~P & ~Q 2) P V ( Q & P) 3)~P -> ~Q 4) P <-> (Q -> P) 5) ((P & P) & (P & P)) -> P
Posted: Thu Jul 07, 2022 2:20 pm
Thank you! 
1) ~P & ~Q
2) P V ( Q & P)
3)~P -> ~Q
4) P <-> (Q -> P)
5) ((P & P) & (P & P)) -> P
1) ~P & ~Q
2) P V ( Q & P)
3)~P -> ~Q
4) P <-> (Q -> P)
5) ((P & P) & (P & P)) -> P