Scribd
Upload
16 views

DM-Assignment-3

This document outlines an assignment for B. Tech. (CSE) IV-SEM students at JECRC University, focusing on Discrete Mathematics. It includes three parts: definitions and concepts related to groups and logical operations, proofs of mathematical properties, and truth tables for various propositions. The assignment aims to enhance students' understanding of mathematical structures and logical reasoning in computer science and engineering.

Uploaded by

bijaysinghmeel55
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
16 views

DM-Assignment-3

This document outlines an assignment for B. Tech. (CSE) IV-SEM students at JECRC University, focusing on Discrete Mathematics. It includes three parts: definitions and concepts related to groups and logical operations, proofs of mathematical properties, and truth tables for various propositions. The assignment aims to enhance students' understanding of mathematical structures and logical reasoning in computer science and engineering.

Uploaded by

bijaysinghmeel55
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

JECRC UNIVERSITY

B. Tech. (CSE) IV-SEM, 2024-25


Subject: Discrete Mathematics (BAS007B)
Assignment – 3
UNIT-3

CO3: Gaining of some confidence on how to deal with problems which may arrive in computer science and
engineering in near future.
PART – A 2×5=10

A1.(CO3) Define group and semi-group.


A2.(CO3) The rational numbers Q defined by a*b=ab/4 for all a, b ϵ Q. Determine whether
operation * is (a) Commutative (b) associative.
A3.(CO3) Define conjunction and disjunction with truth tables.
A4.(CO3) What is conditional and biconditional Statements?
A5.(CO3) What is tautology, contradiction and contingency?

PART – B 7×3=21

B1. (CO3)]: Prove that the set of rational numbers excluding zero with binary operation ‘*
multiplication’ forms an abelian group.
B2. (CO3) Show that the propositions p→q and (~p ˄ ~q) are logically equivalent.
B3. (CO3) Show by truth table that the following statements are contradiction:
(i) (p ˄ q) ↔ (~p ˅ ~q)
(ii) ((p ˄ ~q) ˄ (p → q)

PART – C 𝟑 ×11=33

C1.(CO3) G is the set of rationales except -1, binary operation * is defined by a*b= a + b +
ab, show that it is a group.
C2.(CO3) Construct truth table for each of the following propositions
I.(p ˅ q) ˄ (p ˅ r)
II.~ (p ˄ q) ˄ (~p ˅ ~q)
C3.(CO3) Show by truth table that the following formulas are tautologies:
(i) (p → q) ↔ (~p ˅ q)
(ii) ((p → q) ˄ (q → r)) → (𝑝 → 𝑟)

You might also like