2 2 votes [~p ^ (p->q)] - > ~p is., satisfiable unsatisfiable tautology invalid Mathematical Logic engineering-mathematics discrete-mathematics mathematical-logic + – Mr khan 3 875 views answer comment Share Follow Print 0 reply Please log in or register to add a comment.
2 2 votes option a and c both are true satisfiable---->if there is atleast one true result in its truth table. tautology --------> if all value is true in truth table . so satisfiable is also tautology . abhishekmehta4u answered May 29, 2018 • edited May 29, 2018 by abhishekmehta4u abhishekmehta4u comment Share Follow 0 reply Please log in or register to add a comment.
1 1 vote It's tautology amit1 answered May 29, 2018 amit1 comment Share Follow See 1 comment 1 1 comment reply Mr khan 3 commented May 29, 2018 reply Follow flag Thank you 1 1 replyShare Please log in or register to add a comment.