Logical equivalence statements in discrete math. Construct another English form sentence, which is logically equivalent to that which was given. "Susan goes to school or Susan does not talk on the phone or Susan does not go to school."

equipokypip1

equipokypip1

Answered question

2022-09-04

logical equivalence statements in discrete math
Construct another English form sentence, which is logically equivalent to that which was given.
"Susan goes to school or Susan does not talk on the phone or Susan does not go to school."

Answer & Explanation

Kenny Kramer

Kenny Kramer

Beginner2022-09-05Added 14 answers

Step 1
A or B or not A .
One can show by using truth tables that "or" is associative, so that the above is the same as
(A or not A) or B.
The statement A or not A is true regardless of whether A is true or false. Hence the statement
(A or not A) or B
must be true because E or F is true if either E is true or F is true.
Step 2
Hence the given statement must always be true. And "always" means it is true regardless of whether Susan talks on the phone or not, and regardless of whether she goes to school or not. "Always" means "in all four cases". "All four cases" means "all four lines of the truth table".
Susan goes to school or Susan does not talk on the phone Susan talks on the phone Susan goes to school or Susan does not go to school. T T T T f T f T T f f T All four are true.
Jovany Newman

Jovany Newman

Beginner2022-09-06Added 10 answers

Step 1
Let A be a statement "Susan goes to school" and B be a stetement "Susan does not talk on the telephone". Then statement "Susan goes to school or Susan does not talk on the phone or Susan does not go to school" may be represented as A B ¬ A where ∨ is "or" and ¬ is "not". Now we have
A B ¬ A A ¬ A B 1 B 1 ,
where 1 is truth. So your statement is equvivalent to logical truth, i.e. this statement is always true.
Indeed, regerdless of whether Susan talks on the phone or not, she definetly goes or not goes to school, so whole statement is true.
Step 2
Why x ¬ x 1 and 1 x 1
One may also use the truth tale to show this. Let 1 be a truth and 0 be a false. Truth table of "or" operator ∨ is
x y x y 1 1 1 1 0 1 0 1 1 0 0 0
Here x and y denotes some statements. This table is may be used as definition of logical operator ∨. Note that x y y x (so operator ∨ is associative).
So one may see that x ¬ x = 1. Indeed, according to ∨ truth table:
x ¬ x ¬ x 1 0 1 0 1 1
so x ¬ x = 1 regardless of whether x is true or false.
In the same way one may see that 1 x = 1 for bouth x true and false.

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?