2b:null 2c:["$","title",null,{"children":"Universes of decision FORMs | Peter Hofmann | Observable"}] 31:[] 2f:{"id":"46be85616f127659","slug":"universes-of-decision-forms","title":"Universes of decision FORMs","thumbnail":"e82a0dbc2b30e9ccaf212b050d6c8b5facfda34b45f769d02c5016f682979118","access_level":"public","create_time":"$D2019-06-21T08:16:29.539Z","update_time":"$D2020-08-10T20:15:35.015Z","view_time":null,"first_public_time":"$D2019-06-22T08:48:01.244Z","fork":false,"stars":1,"starred":false,"owner":{"type":"team","id":"e581d618919cd266","login":"formsandlines","name":"Peter Hofmann","avatar_url":"https://avatars-next.observableusercontent.com/da037e21011ef7f0553d73420763f4a2071c0bd9191552279dd8ebc154fc28b8","tier":"starter_2024"},"version":418,"publish_version":418,"role":null,"authored":false,"authors":[{"type":"individual","id":"b20948974f4dc365","login":"formsandlines","name":"Peter Hofmann","avatar_url":"https://avatars-next.observableusercontent.com/da037e21011ef7f0553d73420763f4a2071c0bd9191552279dd8ebc154fc28b8","tier":null}],"members":[{"type":"individual","id":"b20948974f4dc365","login":"formsandlines","name":"Peter Hofmann","avatar_url":"https://avatars-next.observableusercontent.com/da037e21011ef7f0553d73420763f4a2071c0bd9191552279dd8ebc154fc28b8","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":false,"trashed":false,"subscribed":null,"forks":3,"collection":{"id":"8fed57265de89c53","slug":"research","title":"Research","owner":{"id":"e581d618919cd266","login":"formsandlines","name":"Peter Hofmann"}},"type":"notebook","body":{"title":"Universes of decision FORMs","cells":[{"id":0,"value":"md`# Universes of decision FORMs`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":372,"value":"metadata({autor:\"Peter Hofmann\", created:\"21.06.2019\", fstPublish:\"22.06.2019\", lastUpdate:\"12.07.2020\"})","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":307,"value":"md`This is a little experiment on decision FORMs inspired by George Boole's *Laws of Thought*. Ralf Peyn examined/introduced decision FORMs and undetermined FORMs in [uFORM iFORM](https://uformiform.info).\n\n> *Note that these only represent **binary** universes since their constituents are not clearly seperate for undetermined values. I have examined real 4-valued universes in my Observable [“Determination in the undetermined”](https://observablehq.com/@formsandlines/determination-in-the-undetermined).*`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":55,"value":"{\n const id = DOM.uid();\n const formula = form_universe1;\n yield md`\n---\n ## Onefold Universe\n\n

${tex`${formula}`}

\n`;\n formform.graph.createGraph('pack', formula, {\n parentId: id.id,\n styleClass: STYLECLASS,\n padding: {top: padding.top, bottom: padding.bottom, left: padding.left, right: padding.right}\n });\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":364,"value":"md`This FORM yields in any possible case the marked state. It is the universe of all possible decisions between five variables.`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":350,"value":"/* \nSorry, 1024 lines are just too much to display here. Uncomment the line below inside this cell or click on the link behind the FORM string above that leads to my FORM tricorder where you can check all the data.\n*/\n// html`${valueTableWizard(form_universe5)}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":322,"value":"md`---\n### Appendix`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":57,"value":"form_universe1 = '((a))(a)'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":45,"value":"form_universe2 = '((a)b)(a(b))((a)(b))(ab)'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":31,"value":"form_universe3 = '((a)bc)((a)b(c))((a)(b)c)((a)(b)(c))(abc)(ab(c))(a(b)c)(a(b)(c))'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":69,"value":"form_universe4 = '((a)bcd)((a)bc(d))((a)b(c)d)((a)b(c)(d))((a)(b)cd)((a)(b)c(d))((a)(b)(c)d)((a)(b)(c)(d))(abcd)(abc(d))(ab(c)d)(ab(c)(d))(a(b)cd)(a(b)c(d))(a(b)(c)d)(a(b)(c)(d))'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":344,"value":"form_universe5 = '((a)bcde)((a)bcd(e))((a)bc(d)e)((a)bc(d)(e))((a)b(c)de)((a)b(c)d(e))((a)b(c)(d)e)((a)b(c)(d)(e))((a)(b)cde)((a)(b)cd(e))((a)(b)c(d)e)((a)(b)c(d)(e))((a)(b)(c)de)((a)(b)(c)d(e))((a)(b)(c)(d)e)((a)(b)(c)(d)(e))(abcde)(abcd(e))(abc(d)e)(abc(d)(e))(ab(c)de)(ab(c)d(e))(ab(c)(d)e)(ab(c)(d)(e))(a(b)cde)(a(b)cd(e))(a(b)c(d)e)(a(b)c(d)(e))(a(b)(c)de)(a(b)(c)d(e))(a(b)(c)(d)e)(a(b)(c)(d)(e))'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":360,"value":"STYLECLASS = \"gestalt\" // alternatively try \"basic\"","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":336,"value":"CSS","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":338,"value":"valueTableCSS","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":401,"value":"LANG = 'de'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":334,"value":"import {formTric, padding, CSS} from '793523caac58b657@148'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":398,"value":"import {valueTableWizard, valueTableCSS} with { LANG as setLang } from '99b8f5ac562cf4e6@629'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":376,"value":"import {metadata} from 'b537017f986f4d7c@219'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"},{"id":391,"value":"formform = require('formform@0.8.0')","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined"}],"files":"$W31","stdlib":"1","titling":"auto"}} 30:"$2f:body"