I created this project to be useful for people who will take the high school graduation exam in Logic.