On the Subject of Superlogic
Make it so.
Set the boolean variables to a set of truth values such that all shown equations hold, then press the unlabeled button to defuse the module.
The operators are the same as in Logic, with the additional operator “¬”, which is a negator (true becomes false and vice versa). The negator has higher precedence than all other operators.