These are the currently supported operators, from highest to lowest precedence. Parenthesis () can be used to group operations and override precedence. All operators and constants are case-insensitive ...
Abstract: We propose a data structure for Boolean functions termed "the free Boolean diagram." A free Boolean diagram allows decision vertices as in the conventional binary decision diagram, but also ...