[CG] Re: Theme One Program • Jets and Sharks

Cf: Theme One Program • Jets and Sharks 2 http://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-… Re: Theme One Program • Jets and Sharks 1 https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks… Example 5. Jets and Sharks (cont.) All, As we saw last time, Theme One reads the text file shown below and constructs a cactus graph data structure in computer memory. The cactus graph represents a single logical formula in propositional calculus and that proposition embodies the logical constraints defining the Jets and Sharks data base. Theme One Guide • Jets and Sharks • Log File https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280… Our cactus graph incorporates a vocabulary of 41 logical terms, each of which represents a boolean variable, so the proposition in question, call it “q”, is a boolean function of the form q : B⁴¹ → B. Given 2⁴¹ = 2,199,023,255,552 we know a truth table for q takes over two trillion rows and a venn diagram for q takes the same number of cells. Topping it off, there are 2^(2⁴¹) boolean functions of the form f : B⁴¹ → B and q is just one of them. Measures of strategy are clearly needed to negotiate patches of cacti like those. To be continued … Regards, Jon