The field of binary Logics has two main areas of application, the Digital Design of Circuits & Propositional Logics. In both cases it is possible to teach the theoretical foundations & to do some exercises, but in both cases the examples that can be done in class & by hand are far away from examples that are relevant for practical problems.