Working on zybook and they are giving me laws: p v p = p (p v q) v r = p v (q v r) p v q = q v p p v ( q ^ r ) = ( p v q ) ^ ( p v r ) p v F = p p ^ F = F —p = p p ^ -p = F -T = F -(p v q) = -p ^ -q p v ( p ^ q ) = p p → q = -p v q
p ^ p = p ( p ^ q ) ^ r = p ^ ( q ^ r ) p ^ q = q ^ p p ^ (q v r) = (p ^ q) v (p ^ r) p ^ T = p p v t = T p v -p = T -F = T
-(p ^ q) = -p v -q p^(p v q) = p p ←> q = (p → q) ^ (q → p)