본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
로그인
홈
트렌딩
검색
커뮤니티
프로필
진리표 (truth-table) 용어 설명 | AI Trends
truth-table
진리표
중급
명제 논리에서 가능한 모든 입력 조합에 대한 출력 결과를 나열한 표. 이 엔진은 이를 통해 규칙 간의 모순이나 항진 여부를 결정론적으로 검증한다.
비슷한 개념
propositional-logic
satisfiability
automated-reasoning
smt-solving
Z3 formal verification
theorem-proving
fact-verification
formal-proof
← 용어 사전 전체 보기