Verify all of the logical equivalences in the table using the Python 3 function equiv defined in the text.

Table 2.2. Logical Equivalences. Identities p ^T =p pv F =p Domination Laws pv T =T p^ F = F Idempotent Laws pvp =P pp= p Double Negation -(-p) = p Associative Laws (p vq) vr= p v (q vr) (p ^9) ^ r = p ^ (q ^ r) Distributive Laws p v (p ^ q) = (p vq) ^ (p v q) p ^ (p v q) = (p ^ q) v (p ^ q) Absorption Laws pv (p ^ q) =p p ^ (p v q) = p