LAWS OF LOGIC AND LOGICAL EQUIVALENCES, DMS, PROPOSITIONAL LOGIC, #braou