이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 형성된 명령입니다.
프로그램:
이름
형성됨 - XNUMX차 논리 공식을 위한 공식 편집기
개요
형성 [옵션]
기술
이 매뉴얼 페이지는 간략하게 설명합니다 형성 명령.
형성 XNUMX차 구성, 표시 및 관리를 위한 창 기반 프로그램입니다.
논리 공식. 건설의 주요 동기 형성 갖고 싶은 욕망이었다
읽을 수 있는 XNUMX차원 형식으로 표시되는 수식. 사용자 형성 두 개를 만들 수 있습니다
공식에 대한 변환의 종류: (1) 부정 법선과 같은 논리 변환
수식의 의미를 보존하는 양식 변환 및 (2) 변환 편집,
하위 공식에 가설을 추가하는 것과 같이 임의의 변경을 수행하는 데 사용할 수 있습니다.
형성 X Window System, 버전 11 및 정리의 코드를 사용하여 작성되었습니다.
증명하다 수달.
옵션
아래에 옵션 요약이 포함되어 있습니다.
-l 파일 이름
시작하는 동안 지정된 파일에서 수식을 로드합니다. 수식도 로드할 수 있습니다.
버튼으로 시작한 후 하중 주 메뉴에서.
-f 색
컬러 모니터의 전경에 명명된 색상을 사용합니다(흑백에서는 무시됨).
흰색 모니터).
-b 색
컬러 모니터의 배경에 명명된 색상을 사용합니다(흑백에서는 무시됨).
흰색 모니터).
onworks.net 서비스를 사용하여 온라인으로 형성된 사용
