DMTH137 Discrete Mathematics Assignment 1 Solution, S1 2019

This document presents a comprehensive solution to a Discrete Mathematics assignment, likely for a course like DMTH137 at Macquarie University. The assignment covers a range of topics including propositional logic, truth tables, and logical connectives, demonstrating the use of NOT OR (↓) and its relation to negation and AND. It further explores set theory, including operations like union, intersection, and complements, along with quantifiers and their application in logical statements. The solution delves into graph theory, covering concepts such as planar graphs, degrees of vertices, Eulerian and Hamiltonian paths, and graph equivalence. The solution provides step-by-step explanations, truth tables, and logical deductions to arrive at the answers for each question in the assignment.