排中律造句

1：在此基礎上給出一機器能行算法，把排中律等值置換成任一重言式，證明任一命題邏輯內定理。