In terms of refutation
The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..
Java, Python, JavaScript, JSON, HTML 등의 코드를 포맷하고 정리하며 들여쓰기, 공백, 줄바꿈을 맞춥니다.
녹음을 자르고 합치거나 분할하고 무음·잡음을 제거하며 음량, 속도, 음높이, 채널을 조절합니다.
CSV·Excel 표를 열어 편집하고 표 형식 텍스트를 정리하며 CSV를 Excel이나 SQL로 변환합니다.
Markdown을 작성·미리 보고 Mermaid 다이어그램을 렌더링하며 Markdown, HTML, 표 형식을 변환합니다.
문장을 비교하고 단어 수·빈도를 세며 줄을 정렬·교체하거나 DOCX 텍스트를 확인합니다.
중국어 단어의 뜻, 유의어, 반의어를 찾아보거나 여러 언어의 IPA 발음 기호를 확인하세요.
MP3, WAV, FLAC 등 오디오 형식을 변환하고 일반 음원이나 원시 PCM을 재생하며 메타데이터를 확인·편집합니다.
JSON을 살펴보고 비교·검증하며 JSONPath를 테스트하거나 데이터를 CSV, YAML, XML로 변환합니다.
오디오를 텍스트로 전사하고 텍스트에서 음성을 생성하거나 브라우저에서 목소리를 녹음합니다.
동영상을 변환·압축하고 클립을 자르거나 합치며 프레임 크기를 조정하고 오디오를 추출합니다.
로컬·스트리밍 동영상을 재생하고 화면이나 카메라를 녹화하며 카메라를 온라인 거울로 사용합니다.
PDF를 압축·병합하고 페이지를 분할·재배열하며 이미지로 변환하거나 문서를 열어 비교합니다.
이미지 형식을 변환하고 사진 크기 조정·자르기·압축·비교를 수행하며 OCR로 텍스트를 추출합니다.
스크린샷을 찍고 꾸미거나 텍스트로 이미지·GIF를 만들고 화이트보드에 그리며 워드 클라우드와 파비콘을 생성합니다.
동영상을 미리 보며 SRT·VTT 자막을 편집하고 시간 조정, 형식 변환, 자막 트랙 관리를 수행합니다.
ZIP, 7Z, RAR, TAR 파일을 열어 원하는 파일을 추출하고 새 압축 파일을 만듭니다. ZIP과 7Z에는 비밀번호를 설정할 수 있습니다.
Base64·Base32를 인코딩·디코딩하고 URL, HTML, Unicode 텍스트를 이스케이프하며 JWT 내용을 확인합니다.
2진수·10진수·16진수 사이를 변환하고 숫자를 영어 단어로 쓰거나 텍스트를 2진수로 바꿉니다.
백분율과 분수를 계산하고 통계를 요약하며 성적, 할인율, 화면 비율도 계산합니다.
온라인 시계를 표시하고 카운트다운·스톱워치를 사용하며 날짜, 나이, 시간대 차이를 계산합니다.
IP와 IPv6 연결을 확인하고 HTTP 요청이나 HAR 파일을 살펴보며 CIDR 주소 범위를 계산합니다.
길이, 무게, 온도, 데이터 저장 용량 등의 단위를 변환합니다.
HEX, RGB, HSL 값을 변환하고 이미지에서 색을 추출하며 대비를 확인하거나 단색 화면으로 디스플레이를 점검합니다.
링크나 Wi-Fi 네트워크용 QR 코드와 바코드를 생성하고 스캔합니다.
해시, UUID, 비밀번호를 생성하고 정규식을 테스트하며 URL 슬러그를 만들고 파일 권한을 확인합니다.
화면 해상도·주사율을 확인하고 화면 자로 측정하며 키보드를 테스트하거나 텔레프롬프터를 사용합니다.
2048, 지뢰찾기, 스도쿠, 오목, 탱크 전투