What is tautology and contradiction in boolean expressions?

The tautology refers to a logical expression which always evaluates to true, regardless of the logical value of its variables.

For example, consider the below expresion in Java.

boolean isTrue = true;
if (! (! (isTrue) )) {

}

In the above example, applying NOT operation twice (double negation) does not impact the expression value and it always returns true. This is an example of tautology.

On the other hand, contradiction refers to the opposite of tautology, that is, the expression will always return false.

Earn bitcoins upto $250 (free), invest in other Cryptocurrencies when you signup with blockfi. Use the referral link: Signup now and earn!

Using BlockFi, don't just buy crypto - start earning on it. Open an interest account with up to 8.6% APY, trade currencies, or borrow money without selling your assets.

Join CoinBase! We'll both receive $10 in free Bitcoin when they buy or sell their first $100 on Coinbase! Available in India also. Use the referral Join coinbase!

Invest now!!! Get Free equity stock (US, UK only)!

Use Robinhood app to invest in stocks. It is safe and secure. Use the Referral link to claim your free stock when you sign up!.

The Robinhood app makes it easy to trade stocks, crypto and more.

Webull! Receive free stock by signing up using the link: Webull signup.