Prove using truth table Is this statement a tautology?(-q^(p->q))->-qO TrueSOFalse ned with CamScanner

Answered: Is this statement a tautology?…

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Question

Prove using truth table

Is this statement a tautology?
(-q^(p->q))->-q
O True
SOFalse ned with CamScanner

Expert Solution

Step 1

To prove whether the given statement is a tautology or not, we need to construct a truth table for all possible combinations of the truth values of the variables involved.

Truth table for the expression inside the brackets:

p	q	p -> q	~q	~q^(p -> q)
T	T	T	F	F
T	F	F	T	T
F	T	T	F	F
F	F	T	T	T

Step by step

Solved in 2 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions