To help my comprehension I would love to see a script that contains the following:

(a) Write a function are_equivalent3(f,g) that for two functions f and g in three propositional variables, returns True when f g and False otherwise. that proves propositional equivalence of and G or gives a counterexample.

(b) Write functions for the left and right side of associative laws and distributive laws:

associative_or_left

associative_or_right

distributive_and_left

distributive_and_right

(c) are_equivalent3(associative_or_left,associative_or_right), print what that means.

(d) are_equivalent3(associative_or_left,distributive_and_left), print what that means.

(e) are_equivalent3(distributive_and_left,distributive_and_right), print what that means.

I just need an input and this will be a great review for me,

Thank you.