Логічні функції, закони логіки