Introduction
In the previous chapter, we saw different variations we could make to an implication and that which one was similar to the original one.
Two propositions having the same truth value in all tnterpretations represent a useful idea in mathematical logic. Let's explore it.
Tautologies and contradictions
In the chapter on valuations and interpretations, we considered a few compound propositions that gave some interesting outcomes. One of them gave true in all valuations, and one gave false in all valuations.
Such propositions hold particular importance in the study of mathematical reasoning.
On the same lines:
A proposition that is neither a contradiction, nor a tautology, is a contingency.
Most of the propositions we've seen so far have been contingent. Let's consider a few propositions and see which one they are.

::p \vee \bold T::
::p:: ::\bold{T}:: ::p \vee \bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold T:: All rows contain a ::\bold T:: value, hence the given proposition is a tautology.

::p \wedge \bold F::
::p:: ::\bold{F}:: ::p \wedge \bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold F:: The last column contains all ::\bold F:: values, hence the given proposition is a contradiction.

::p \vee \bold \neg p::
::p:: ::\neg p:: ::p \vee \neg p:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold T:: The last column contains all ::\bold T:: values, hence the given proposition is a tautology.

::p \wedge \bold \neg p::
::p:: ::\neg p:: ::p \wedge \neg p:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold F:: The last column contains all ::\bold F:: values, hence the given proposition is a contradiction.

::p \vee q::
::p:: ::q:: ::p \vee q:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: The last column contains both ::\bold T:: and ::\bold F:: values, hence the given proposition is a contingency.

::p \wedge q \to \neg q::
::p:: ::q:: ::p \wedge q:: ::\neg q:: ::p \wedge q \to \neg q:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: Based on the general rules of operator precedence i.e which operator is computed before others, this proposition is the same as saying ::(p \wedge q) \to \neg q::.The last column contains both ::\bold T:: and ::\bold F:: values, hence the given proposition is a contingency.

::((p \to q) \wedge (q \to r)) \to (p \to r)::
::p:: ::q:: ::r:: ::p \to q:: ::q \to r:: ::(p \to q) \wedge (q \to r):: ::p \to r:: ::((p \to q) \wedge (q \to r)) \to (p \to r):: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold F:: ::\bold F:: ::\bold F:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: ::\bold T:: The last column contains only ::\bold T:: values, hence the given proposition is a tautology.
Now that we know what is a tautology, a contradiction and a contingency, we can move over to explore equivalences.
Equivalences
Since it is very common in logic to have multiple propositions with the same truth values under every valuation, we have specific notation for it.
When two propositions have the same truth values, we say that they are equivalent to one another.
::p \equiv q:: is read as '::p:: is equivalent to ::q::'.
Note that ::p \equiv q:: implies that ::p \leftrightarrow q:: is a tautology. That is, if ::p:: is true, then ::q:: is true, and if it's false, then ::q:: is false as well.
Similarly, if ::p:: is not equivalent to ::q::, we write ::p \not\equiv q::.
The first proposition that we saw above was a tautology and we know that by definition, the proposition ::\bold T:: is also a tautology (it's always true). Hence, they both are equivalent to one another. This can be shown as follows:
Recall the fact that an implication has the same interpretation as its contrapositive, under every valuation. This means that:
We even verified this back in the chapter on implications.
This and many other equivalences can be confirmed by drawing out truth tables and matching the columns for both the propositions on either side of the equivalence symbol. It's only in some cases where the proposition have a lot of variables that working in truth tables becomes inefficient.
But for this course and most of your PL tasks, all equivalences that we deal with won't have these many variables to make computation via truth tables infeasible.
Common equivalences
There are some very common equivalences in propositional logic using which we can often simplify complicated expression.
First, let's have a look over those equivalences and then see how to use them to simplify complex formulae.
Laws of negation
The laws of negation specify what happens if we take the disjunction and conjunction of a proposition ::p:: with its negation. Hence the name 'negation laws'.
The first equivalence is also known as the law of excluded middle. It's one of three laws of thought, which simply asserts that any given proposition is either true or false.
The second equivalence is also one of the laws of thought, formally known as the law of contradiction. It says that a given proposition can't be true and false at the same time.
Laws of idempotence
Next up, we have the laws of idempotence. If you look up the meaning of the word 'idempotence', you'll see it means when something performs something on itself.
Hence, these laws show what happens when we take the disjunction and conjunction of a proposition with itself.
Laws of identity
The laws of identity are also interesting consequences.
They are referred to as the 'laws of identity' since the proposition ::p::, after the respective operation, is obtained back. Each respective operation is identical to the constituent proposition ::p::.
Laws of domination
The laws of domination are quite similar to the laws of identity.
The values ::\bold T:: and ::\bold F:: dominate in each equivalence; hence the name 'laws of domination'.
The propositions on the righthand side follow exactly from the definition of the respective operation being performed on the lefthand side. That is, if a disjunction has a true proposition, then it is true; and if a conjunction has a false proposition, then it is false.
Law of double negation
When we negate a proposition, we get its negation. When we negate it again, we get back the original proposition. This simple and intuitive idea is represented by the law of double negation.
Laws of commutativity
Let's say we have a proposition ::p \vee q::. Can we switch places of the atomic propositions here, and still have the same compound proposition?
Well yes! This also applies to conjunctions. The laws of commutativity summarise this idea.
You might think this is not a useful property, but there are many concepts in mathematics that don't obey this law.
For example, consider the division ::a / b::. This is not always the same as ::b/a::, since division is not commutative in nature. We can't switch numbers in a division and expect the result to be the same!
Compare this with multiplication. ::a \times b:: is the same as ::b \times a::, since multiplication obeys the laws of commutativity.
Laws of associativity
Moving on, we have another pretty intuitive set of laws known as laws of associativity.
These laws simply state that it doesn't matter as to which propositions do we associate together and compute first in a disjunction or conjunction of three propositions.
We could associate the first two, or equivalently the last two — it's essentially the same.
Laws of distributivity
Next up, let's consider the laws of distributivity of disjunction over conjunction and of conjunction over disjunction.
Can you guess which one of these two is the law of distributivity of disjunction over conjunction? Well, it's the first one. How do we know this?
Very simple — what is being distributed in the first equivalence? It's the disjunction operator. Hence, the first equivalence showcases the distributivity of disjunction over conjunction.
This idea is similar to the idea of distributivity of multiplication over addition, shown as follows:
Laws of absorption
The laws of absorption are also useful:
Given any one law of absorption, the second one can be derived very easily by applying the law of distributivity on the lefthand side.
De Morgan's laws
The second last and perhaps an extremely useful set of laws in the area of logic is that of De Morgan's laws.
They specify what would happen if we were to take the negation of a disjunction or the negation of a conjunction.
In the next chapter, we'll unravel the idea behind De Morgan's laws, and that how they related closely with intuition of natural language.
Conditionaldisjunction equivalence
Being able to simplify implications is necessary when dealing with complex expressions with many of them. In that regards, we can use the conditionaldisjunction equivalence to replace the conditional with a disjunction.