계산기 - 이산수학

진리표 계산기

이 계산기는 주어진 논리 공식/식에 대한 진리표를 생성합니다. 모든 기본 논리 연산자를 지원합니다: 부정(complement), 그리고(논리곱), 또는(논리합), NAND(셰퍼 스트로크), NOR(피어스의 화살표), XOR(배타적 논리합), 함의, 함의의 역, 비함의(abjunction), 역비함의, XNOR(배타적 NOR, 동치, 쌍조건), 항진식(T), 및 모순식(F).

불 대수 계산기

이 계산기는 주어진 부울식을 가능한 경우 단계와 함께 단순화/최소화하려고 시도합니다. 적용되는 법칙은 교환법칙, 분배법칙, 지배법칙(영/소멸 법칙), 항등법칙, 부정 법칙, 이중부정(반전성) 법칙, 멱등법칙, 여(보수) 법칙, 흡수법칙, 잉여(중복) 법칙, 드모르간의 정리입니다. 다음의 모든 기본 논리 연산자를 지원합니다: negation(부정·여), and(논리곱), or(논리합), nand(셰퍼 스트로크), nor(퍼스의 화살표), xor(배타적 논리합), implication(함의), converse of implication(함의의 역), nonimplication(비함의·탈합), converse nonimplication(역 비함의), xnor(배타적 nor·동치·쌍조건), tautology(T), contradiction(F).

또한 논리합 정규형(DNF), 논리곱 정규형(CNF), 그리고 부정 정규형(NNF)도 찾습니다.

조합 및 순열 계산기

이 계산기는 전체 원소 수와 선택할 원소 수가 주어졌을 때, 중복 허용/중복 없음의 경우에 대한 순열/조합의 개수를 구합니다. 또한 주어진 목록에서 r-조합(또는 r-순열) 목록을 생성하고, 단계별 과정을 보여 줍니다.