독립변수와 종속변수가 있는 논리식에 진릿값을 부여하는 방법을 형식화하면 어떻게 됨?