Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

CSCI/MATH 2112 Discrete Structures I Assignment 1. Due on Friday, January 18, 11:00 pm (1) Write symbolic expression for each of the statements below; then

CSCI/MATH 2112 Discrete Structures I Assignment 1. Due on Friday, January 18, 11:00 pm (1) Write symbolic expression for each of the statements below; then work out their negations; finally expressing each as complete sentence in English: (a) Roses are red, violets are blue. (b) The bus is late or my watch is slow. (c) If a number is prime then it is odd or it is 2. (d) If a number x is a prime, then (root ) x is not a rational number.

(2) On a vacation in the Crazoes islands (recall that all inhabitants of C. are either knights or knaves), you run into three inhabitants, A, B, C. (a) Using a to represent the proposition: A is a knight (and similarly b; c) and the basic logic operations, to write the following in symbolic notation. (i) A is lying and B or C is truthful. (ii) A and B are lying or A and C are truthful. (iii) At least two people are telling the truth. (iv) Exactly two are telling the truth. (b) Solve the following logic puzzles (as far as possible) by using truth tables. Who, if anyone, tells the truth in each case? Explain your answers. (i) A: \B or C is lying." B: \C is lying". C: \A and I are both truthful." (ii) A: \I am lying if B is" B: \A is lying if I am" (iii) A: \If B is lying, then so is C" B: \If C is lying, then so is A" C: \If A is lying, then so is B"

(3) (a) Show ~((p or ~ q) ^ r) = (~ p ^ q)or ~r Identify each Boolean algebra rule (see Boolean Identities posted) used. (b) You are given that for a particular assignment of truth values, the Boolean expression (p^q)orr ) ) (r or s) is false. Without using a truth table, and the truth values of p; q; rs. Clearly explain your answer.

(4) Using only the operators ) ~ and =>, Find the equivalent Boolean functions of: (a) p or q (b) p ^ q (c) p =(3line equal) q (this is equivalent to : p <=> q)

(5) For n E(epsilon) N ,which of the following : (i) 3 | n (ii) 9 | n (iii) 3 | n2 (iv) 12 | n (v) n even ^ 3 | n ( Note: Read a | b as "a divides b") (a) is (are) necessary for n to be divisible by 6? Briefly explain each answers. (b) is (are) suffcient for 6 | n? Brie y explain each answers.

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Database And Expert Systems Applications 33rd International Conference Dexa 2022 Vienna Austria August 22 24 2022 Proceedings Part 1 Lncs 13426

Authors: Christine Strauss ,Alfredo Cuzzocrea ,Gabriele Kotsis ,A Min Tjoa ,Ismail Khalil

1st Edition

3031124227, 978-3031124228

More Books

Students also viewed these Databases questions

Question

6. explain the various aspects of coaching efficacy, and

Answered: 1 week ago

Question

Explain the forces that influence how people handle conflict

Answered: 1 week ago