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