Introductory Discrete Mathematics for Computer Science/Logic Review

From Wikiversity
Jump to navigation Jump to search

Exercises[edit]

Crystal Project Kblackbox.png Type classification: this is a quiz resource.

Here are some exercises to practice your fluency with logical operators.

Problem 1

Write statements using logical operators and different letters for the following conditions:


Problem 2

Draw the relevant truth tables, to show that is or is not logically equivalent to .

ANSWER: These statements are logically equivalent. Here is the truth table for both:

T T F T T
T F F F F
F T T T T
F F T T T

Problem 3

Show that a conditional statement is logically equivalent to its contrapositive.

Problem 4

This problem also requires you to draw the relevant truth tables.

Which two statements are logically equivalent?