Python Problem:

Write a Python function tarski) that takes in two lists (of lists), shapes and colors, and returns a single logical value True or False) representing the truth value of the following proposition. Read the notes below before starting to write code. If you are unfamiliar with the Tarski world problem formulation, consult your instructor's lecture slides. Vz (Gray(z) Circle(z)) Note 1: You can copy-paste the code declaring shapes and colors for the various visible test cases below. We strongly encourage you to do this to test your code. Note 2: You may assume that: colors will consist of only the strings 'blue', 'red' and 'gray shapes will consist of only the strings 'triangle', 'square' and 'circle'; the first argument of tarski() should be shapes and the second argument should be colors for simplicity, there will not be any empty tiles on the board; the lists (boards) we use to test your code will be square shapes and colors will be the same size; and that size will be at least 2x2. For example