2014-05-08から1日間の記事一覧
また経緯があり,ロジカルな処理は(あまり)行わず,有理式の(それなりに)正確な簡約のみを行うratsimpx2を書きました. 論理結合子 %implies,%or,%and は既にあるものとして,%neg,%replies,%eq を新規に導入しますが,出力に現れるのは先の3つのみ…
また経緯があり,ロジカルな処理は(あまり)行わず,有理式の(それなりに)正確な簡約のみを行うratsimpx2を書きました. 論理結合子 %implies,%or,%and は既にあるものとして,%neg,%replies,%eq を新規に導入しますが,出力に現れるのは先の3つのみ…