Talk:Algebraic normal form

This is kind of neat. It may be clearer if you state how you map the integer set representation of each conjunction to integers, e.g. how {0,1,2} -> 7. Also, and this is just nit-picking, the sentence below the table could instead read "In short, this defines a bijection between the non-negative integers and algebraic normal forms." since every set of sentences in the usual syntax of propositional logic is a countable set. Rationals are also countable, so the sentence "While the truth tables for a given arity can be interpreted as integers, truth tables in general can only be assigned rational values between 0 and 1" doesn't seem strictly true. This does seem like a work in progress so forgive me if you simply haven't added the explanatory material yet. AP295 (discuss • contribs) 12:36, 19 October 2023 (UTC)