retagged ago by
571 views
10 votes
10 votes
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$

We know that for a compound proposition over n propositional variables, we have $2^{n}$ rows in the truth table.
Every row of the truth table of P is called an “Interpretation” of $\text{P}.$ A row in the truth table of $\text{P}$ is called “model” iff $\text{P}$ is true for that row. Let $\text{P}$ be the sentence $(a \wedge b) \vee (b \wedge c)$

How many models are there for $\text{P}?$
retagged ago by

2 Answers

6 votes
6 votes

P = ab + bc.

It is given that a, b, c, d are propositional variables.

For P to be true either ab = True or bc = True or both.

For ab = True, the value of a = True (1 choice), b = True (1choice) but value of c and d doesn’t matter. So, c has 2 choices and d also has 2 choices. Therefore, total choices = 1*1*2*2 = 4.

Similarly for bc = True, the value of b = True (1 choice), c = True (1choice) but value of a and d doesn’t matter. So, a has 2 choices and d also has 2 choices. Therefore, total choices = 1*1*2*2 = 4.

So, total = 4 + 4. But note that both the cases can happen together (i.e., both the cases are not disjoint). We have, thus, over-counted. Let’s find the over-count and subtract it from total calculated.

Both cases together True mean a = True, b = True, c = True, d = True/False i.e, total choices = 1*1*1*2 = 2.

Hence, P is true for (8-2) rows = 6 rows. It means there are 6 models for P.

Note that the over-count was counted exactly twice (one time in each case) and so, we subtracted it once from total.

2 votes
2 votes
Given function $ f(a,b,c,d) = (a \wedge b) \vee (b \wedge c)$

Number of combinations in the 4 variable truth table for which $(a \wedge b)$ is True = 4

Number of combinations in the 4 variable truth table for which $(b \wedge c)$ is True = 4

Number of combinations in the 4 variable truth table for which $((a \wedge b) , (b \wedge c)$ both are True = 2

Apply inclusion exclusion principle,

4 + 4 -2 = 6(ans)
edited by
Answer:

Related questions

5 votes
5 votes
1 answer
4