~(p-> ((q^s)-> p)) prove using laws of logical equivalents

vladys4u vladys4u    3   08.10.2019 18:50    0