2 votes 2 votes [~p ^ (p->q)] - > ~p is., satisfiable unsatisfiable tautology invalid Mathematical Logic engineering-mathematics discrete-mathematics mathematical-logic + – Mr khan 3 asked May 29, 2018 • recategorized May 29, 2018 by Subarna Das Mr khan 3 521 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
2 votes 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 See all 0 reply Please log in or register to add a comment.
1 votes 1 votes It's tautology amit1 answered May 29, 2018 amit1 comment Share Follow See 1 comment See all 1 1 comment reply Mr khan 3 commented May 29, 2018 reply Follow Share Thank you 1 votes 1 votes Please log in or register to add a comment.