命題がトートロジーかどうかを回路分析で確かめる