논리와 집합론
기호 이론과 집합론은 서로 얽혀 있으며, 수학의 기본이 되고 있습니다. Wolfram|Alpha를 사용하여 논리식, 부울 논리의 항 또는 1차 논리를 시각화하고, 계산하고, 변환할 수 있습니다. 또한 Wolfram|Alpha는 표와 다이어그램을 생성하고, 집합론적인 작업을 수행하고 등식과 부분 집합과 같은 집합론의 조건을 계산할 수 있습니다.
임의의 부울 변수가 있는 모든 부울 식의 진리표를 계산하고 표준형을 구하고 논리 회로를 구축합니다.
부울 식을 분석합니다:
부울 함수의 진리표를 계산합니다:
부울 함수의 논리 회로를 계산합니다:
부울 식을 논리합의 표준형으로 변환합니다:
무한 기수를 포함한 식의 산술연산과 간략화를 수행합니다. 기수의 동등성을 판정하거나 기수의 부등식을 조사합니다.