6) Use a truth table (either by hand or with a computer program) to prove the commutative laws for A and v. The laws to prove are as shown below a) pAgEAP b) pvqqvp 7) Use a truth table (either by hand or with a computer program) to prove the associative laws for and v. The laws to prove are as shown below a) (PA) ATEPA (AP) b) (p v g) vr=pv (avr) 8) Use a truth table (either by hand or with a computer program) to prove the distributive laws forv and A. The laws to prove are as shown below a) pv (qar) = (p v q) (p vr) b) PA (v r) = (p Aq) (PAT) 9) Use a truth table (either by hand or with a computer program) to prove the absorption laws. The laws to prove are as shown below a) pv ( pq) =p b) p (p vq) =p 5) Python does not have a built in implementation for AB. Implement a function ifthen(A,B) that returns the value of A B. Then use Truth Table to print the truth tables of the following: a) ( PQ) (Q-P) b) (PAQ) - (RV(QAS)) Program for Truth Tableco (image provided in case given code does not work) litignatura inter) para i 10. och 165+5). www.line a tertele product Value turbation in ples for value in combination print 10:al" for at vende resit - bination printti 10.fernt were import stetools, inspect der parame): return Rennspect.signature Parameters de Truthable): Dinparams for in range(n): column Label Print(" 10:60" format (CHE (6531). and- Print(" ": alltuples - tertools.product (True, Falsel, repeaten) for combination in alltuplen: for value in combination print 10:65)". format(ate (value)) and") result - f(*combination print 1 10:63 format interesult