Logical Neural Networks