Distillation of the sufficient, necessary and bi-, conditionals – using circuitry for illustration.