11:25 Not Secure --- cse.unt.edu Assignment 3, due Thursday March 4, at 10am. Let the universal set U=(0,1,2,3,4,5,6,7,8,9) and three subsets of it defined as: p={1,2,3,4) 0=(4,5,6) R=(3,4,6,8,9) Adapt the following propositional formulas: PV (r) - (PVC) (PV) P (Vr) - ( Pg) V ( pr) -(PA) - - - -(PV) - - - (pw>g) - (- > -P) (p => q) / (=> r) => (p => r) to their equivalents in the Boolean Algebra of the subsets of U. a) replace each propositional variable with its upper case equivalent (p->P, 9->Q, r->R) b) replace each of the logic connectives with their corresponding equivalent in the Boolean Algebra of the subsets of the universal set u. Note that you will need to use the fact that pw>g is equivalent to -p V q and that -p will correspond to the complement of a subset of the universal set u. 1) For each of the resulting statements about sets, verify that they are true, by computing the results on the left and right side of the "-" symbols, or when" is absent, show that the result is the universal set U. 2) Draw the Venn diagrams of the 4 first relations, for their left and right side and color the results for each. 3) Write a Python program that confirms your results. Submit, via canvas, the result of your work as: - a picture (PDF, jpg, png) of the pages where you did your computations by hand and your Venn diagrams for 1) and 2) - the Python file including your tests for 3) Please submit all in a single zipped file, one submission per team, with the names of all the team members marked on all documents. 11:25 Not Secure --- cse.unt.edu Assignment 3, due Thursday March 4, at 10am. Let the universal set U=(0,1,2,3,4,5,6,7,8,9) and three subsets of it defined as: p={1,2,3,4) 0=(4,5,6) R=(3,4,6,8,9) Adapt the following propositional formulas: PV (r) - (PVC) (PV) P (Vr) - ( Pg) V ( pr) -(PA) - - - -(PV) - - - (pw>g) - (- > -P) (p => q) / (=> r) => (p => r) to their equivalents in the Boolean Algebra of the subsets of U. a) replace each propositional variable with its upper case equivalent (p->P, 9->Q, r->R) b) replace each of the logic connectives with their corresponding equivalent in the Boolean Algebra of the subsets of the universal set u. Note that you will need to use the fact that pw>g is equivalent to -p V q and that -p will correspond to the complement of a subset of the universal set u. 1) For each of the resulting statements about sets, verify that they are true, by computing the results on the left and right side of the "-" symbols, or when" is absent, show that the result is the universal set U. 2) Draw the Venn diagrams of the 4 first relations, for their left and right side and color the results for each. 3) Write a Python program that confirms your results. Submit, via canvas, the result of your work as: - a picture (PDF, jpg, png) of the pages where you did your computations by hand and your Venn diagrams for 1) and 2) - the Python file including your tests for 3) Please submit all in a single zipped file, one submission per team, with the names of all the team members marked on all documents