Propositional Knowledge Representation and Reasoning in Restricted Boltzmann Machines