Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Propositional Logic Cheat Sheet, Exercises of Logic

A cheat sheet for propositional logic. It includes truth tables, laws, and precedence of logical operators. The laws covered include De Morgan's Laws, Idempotent laws, Domination laws, Commutative laws, Identity laws, Absorption laws, Negation laws, Associative laws, and Distributive laws. The cheat sheet also covers conditional statements and biconditional statements. useful for students studying logic and mathematics.

Typology: Exercises

2022/2023

Uploaded on 03/14/2023

strawberry3
strawberry3 🇺🇸

4.6

(38)

173 documents

Partial preview of the text

Download Propositional Logic Cheat Sheet and more Exercises Logic in PDF only on Docsity! Chapter 1 cheat sheet Logical operators, their truth tables, laws: Precedence of Logical Operators: ¬, , , ,  ,  Laws of Propositional logic: p ¬p T F F T p q p → q T T T T F F F T T F F T p q p  q T T F T F T F T T F F F p q p  q T T T T F F F T F F F T (p  q)  p  q (p  q)  p  q De Morgan's Laws (1) p  p  p p  p  p Idempotent laws (5) ( p)  p Double negation law (2) p  T  T p  F  F Domination laws (6) p  q  q  p p  q  q  p Commutative laws (3) p  T  p p  F  p Identity laws (7) p  (p  q)  p p  (p  q)  p Absorption laws (4) p  p  T p  p  F Negation laws (8) (p  q)  r  p  (q  r) (p  q)  r  p  (q  r) Associative laws (9) p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r) Distributive laws (10) p  q  p  q (11) p  q  (p  q)  (q  p) (12) p  q  q  p (13) p  q  p  q (14) p  q  p  q (15) p  q  (p  q)  (p  q) (16) p  q  (p  q) (17) (p  q)  p  q (18) (p  q)  p  q (19) (p  q)  (p  r)  p  (q  r) (20) (p  q)  (p  r)  p  (q  r) (21) (p  r)  (q  r)  (p  q)  r (22) (p  r)  (q  r)  (p  q)  r (23) p q p ˅ q T T T T F T F T T F F F p q p  q T T T T F F F T F F F F
Docsity logo



Copyright © 2024 Ladybird Srl - Via Leonardo da Vinci 16, 10126, Torino, Italy - VAT 10816460017 - All rights reserved