« first day (3081 days earlier)      last day (1701 days later) » 

Silvia
Silvia
06:33
@SjoerdC.deVries I think MMA has internal functions to generate BDD, the evidence can be shown by InputForm[BooleanFunction[30]], which gives BooleanFunction["BDD" -> {-3, 0, 2, -2, 1, 1, 3, 2, 1, -1}]. The question is how to decode this list. — Silvia Nov 18 '15 at 3:51
If anyone remember this internal BDD expression in BooleanFunction, after so many years I think today I suddenly figured it out. :D
2
user image
Silvia
Silvia
06:59
The code is published on cloud, might find other time to write an answer:
wolframcloud.com/obj/wyelen/Published/BDD%20decoder.nb
Integers with rounded frame indicate nodes in the BDD. White figure with black background means a Not needs to be applied to the node's result.
 
13 hours later…
Feeds
Feeds
19:50
Stephen_Wolfram's Twitch video RSS: Wolfram Physics Project: A discussion about Physics Built by Alien Intelligences
posted on June 25, 2020

Science & Technology

Stephen_Wolfram's Twitch video RSS: Wolfram Physics Project: A discussion about Physics Built by Alien Intelligences - LIVE
posted on June 25, 2020

Science & Technology


« first day (3081 days earlier)      last day (1701 days later) »