Let F_{1}(A, B, C) = (A wedge sim B) vee [sim | vedclass

Name: Exam Paper Generator | JEE NEET Paper Generator | Vedclass
Brand: Vedclass
Rating: 5 (35 reviews)

Question

(C) For $F_{1}(A, B, C) = (A \wedge \sim B) \vee [\sim C \wedge (A \vee B)] \vee \sim A$: Using the distributive law: $F_{1} = [(A \wedge \sim B) \vee

Vedclass · Accepted Answer

$F_{1}$ is not a tautology but $F_{2}$ is a tautology

Vedclass · Answer

(C) For $F_{1}(A, B, C) = (A \wedge \sim B) \vee [\sim C \wedge (A \vee B)] \vee \sim A$: Using the distributive law: $F_{1} = [(A \wedge \sim B) \vee \sim A] \vee [\sim C \wedge (A \vee B)]$ $F_{1} = [(A \vee \sim A) \wedge (\sim B \vee \sim A)] \vee [\sim C \wedge (A \vee B)]$ Since $(A \vee \sim A) = t$ (tautology): $F_{1} = [t \wedge (\sim A \vee \sim B)] \vee [\sim C \wedge (A \vee B)]$ $F_{1} = (\sim A \vee \sim B) \vee [\sim C \wedge (A \vee B)]$. This expression depends on the values of $A, B, C$,so it is not a tautology. For $F_{2}(A, B) = (A \vee B) \vee (B \rightarrow \sim A)$: Using the implication rule $(P \rightarrow Q) = (\sim P \vee Q)$: $F_{2} = (A \vee B) \vee (\sim B \vee \sim A)$ By commutative and associative laws: $F_{2} = (A \vee \sim A) \vee (B \vee \sim B)$ $F_{2} = t \vee t = t$. Thus,$F_{2}$ is a tautology.

Let $F_{1}(A, B, C) = (A \wedge \sim B) \vee [\sim C \wedge (A \vee B)] \vee \sim A$ and $F_{2}(A, B) = (A \vee B) \vee (B \rightarrow \sim A)$ be two logical expressions. Then ...... .

Similar Questions

The negation of the compound statement $\sim p \vee (p \vee (\sim q))$ is

For each of the following compound statements,first identify the corresponding component statements. Then check whether the statements are true or not.
If $a$ and $b$ are integers,then $ab$ is a rational number.

Identify the quantifier in the following statement and write the negation of the statement.
For every real number $x, x$ is less than $x+1.$

The negation of $(p \land q) \to ((p \lor r) \to \sim q)$ is equivalent to

The negation of the statement "If $I$ become a teacher,then $I$ will open a school" is

Vedclass Test Series

Exam Paper Generator

Online Exam Module