In this assignment we compute the statements\ ?.?. ?(?, ?)\ ?.?. ?(?, ?)\ ?.?. ?(?, ?)\ ?.?. ?(?, ?)\ for a given finite domain and a given predicate P. Complete the TO DO parts in the java files attached to\ this assingment.\ There are 3 functions to implement.\ Currently all functions return true as a stub, change this code.\ Each of these functions should compute the statement mentioned above it.\ The fourth implementation is given as an example.\ You can use a helper function as seen in the code examples.\ Similar pseudocode can be found in examples 1.5.7, 1.6.5, 1.6.8.\ Code sould be able to work properly for all arrays A, B and function P.\ A java file that does not compile will receive no credit.\ Make your code is as readable as possible.