binary logic in logical reasoning