Unformatted text preview: Or-0 theorem proved in the lectures. Problem 3: Prove that the big and delivers the value False if any of the elements in its argument are False. Problem 4: Write the axioms for a running-and function using a tail-recursion in the form of equations similar to the axioms of t h Problem 5: State and prove a theorem that establishes a connection between the running-and function and the big and functio n...
View Full Document
This homework help was uploaded on 04/08/2008 for the course CS 2603 taught by Professor Rexpage during the Spring '08 term at The University of Oklahoma.
- Spring '08