클로드 무료버전으로 만듬


명제논리의 기본적인 기호를 사용함

->,and,or,not,괄호,변수,변수값T,F


이걸로 논리식과 변수값을 전제로 입력하면


전제를 참으로 만드는 변수값을 알려줌