Upgrade to remove ads
Only $2.99/month

Discrete Math Final

Terms in this set (12)

function
a function is a relation between a set A and a set B. a is the domain and b is the codomain in order for something to be a functino it must follow these two rules. 1. for every x in a there must be a y in b. 2. if x is in every element of A and y is every element B if (x,y) is in F and (x,z) is in F then x = z
commutative laws
p A q = q A p(p V q = q V p)
associative laws
(pAq) A r = p A (q A r) ( (p V q) V r = p V ( q V r) )
distributive laws
p A (q V r) = (p A q) V (p A r) ( p V (q A r) = (p V q) A (p V r) )
identify laws
p A t = p ( (p V c) = p )
negation laws
p A ~p = c ( (p V ~P) = t )
double negative laws
~(~p) = p
idempotent lawss
p A p = p (p V p = p)
universal bound laws
(p A c) = c ( (p V t) = t )
DeMorgans Laws
~(p A q) = ~p V ~p ( ~(p V q) = ~p A ~q )
Absorption Laws
p V ( p A q) = p ( p(p V q) = p )
Negation of t and c
~t = c (~c = t)
YOU MIGHT ALSO LIKE...