2014-05-03から1日間の記事一覧
昨日のシステムでは出力が長いので,古典論理に絞り,二重否定除去のルールnegnegを追加します. map(infix,[implx,orx,andx,eqx,replx]); matchdeclare([aa,bb,cc],true); negx(aa):=(aa)implx(0=1); aa orx bb:=(negx(aa))implx(bb); /* aa andx bb:=negx(…
昨日のシステムでは出力が長いので,古典論理に絞り,二重否定除去のルールnegnegを追加します. map(infix,[implx,orx,andx,eqx,replx]); matchdeclare([aa,bb,cc],true); negx(aa):=(aa)implx(0=1); aa orx bb:=(negx(aa))implx(bb); /* aa andx bb:=negx(…