Duality discrete math problem. The dual of a compound proposition that contains only the logical operators ∨ , ∧ , and ¬ is the compound proposition obtained by replacing each ∨ by ∧ , each ∧ by ∨ , each T by F , and each F by T . The dual of s is denoted by s∗. Find the dual of these compound propositions.

Leila Jennings

Leila Jennings

Answered question

2022-07-18

Duality discrete math problem
The dual of a compound proposition that contains only the logical operators ∨ , ∧ , and ¬ is the compound proposition obtained by replacing each ∨ by ∧ , each ∧ by ∨ , each T by F , and each F by T . The dual of s is denoted by s∗. Find the dual of these compound propositions.
a) p ¬ q
I got ¬ p q
b) p ( q ( r T ) )
My answer was ¬ p ( ¬ q r )
c) ( p ¬ q ) ( q F )
My answer was ( ¬ p q ) ¬ q

Answer & Explanation

Tristan Pittman

Tristan Pittman

Beginner2022-07-19Added 14 answers

Step 1
You did more as you should. Forming the dual just wants you to replace p by ¬ p for each literal p, ∨ by ∧ and vice versa and T by F. You did more than that, in dualising (2), one obtains
¬ p ( ¬ q ( ¬ r F ) )
Step 2
(you missed a ¬ in front of r). We have of course ¬ r F ¬ r, but this is not part of dualising. Same for (3), the dual proposition is
( ¬ p q ) ( ¬ q T )
Karsyn Beltran

Karsyn Beltran

Beginner2022-07-20Added 5 answers

Step 1
What you have done is wrong. Why you have negated all the proposition and the then find the dual?
Like dual of ( p ¬ q )   i s   ( p ¬ q )   n o t   ( ¬ p q ) .
Here is the definition of dual of a compound proposition:
The dual of a compound proposition that contains only the logical operators ∨, ∧, and ¬ is the compound proposition obtained by replacing each ∨ by ∧, each ∧ by ∨, each T by F, and each F by T. The dual of s is denoted by s∗.
Step 2
Example: S = ( p q ) ( ¬ p q ) F
dual of S = ( p q ) ( ¬ p q ) T
So the correct answer to your question is:
a) p ¬ q
dual: p ¬ q
b) p ( q ( r T ) )
dual: p ( q ( r F ) )
c) ( p ¬ q ) ( q F )
dual: ( p ¬ q ) ( q T )

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?