Which Rule Is Used in the Following Inference $\mathrm { M }$

question 93

Multiple Choice

Which rule is used in the following inference? $\mathrm { M }$
$\mathrm { M } v \mathrm {~N}$

• A)Simp
• B)Conj
• C)Add
• D)DS
• E)HS

---

Definitions:

Logical Expressions

Combinations of variables, constants, and operators that evaluate to true or false, used in control flow statements.

Logical And Operator

A binary operator that returns true if both operands are true and false otherwise, commonly represented as && in many programming languages.

Logical Not Operator

A unary operator (!) that inverts the truth value of its operand.

Expressions True

Refers to expressions in programming that evaluate to a Boolean true value.