Q-Decider

Use the input form for your arithmetic equation:

Traditional Form	Input Form
a = b	id[a,b]
a + b	plus[a,b]
a - b	minus[a,b]
a x b	times[a,b]
a : b	div[a,b]
a^b	power[a,b]

Enter an equation:

id[times[minus[power[plus[2, 2], 1]], 0], 0]

The result is:

Enter "1" for getting the proof in terms of the applyied primitive rules:
Enter a number between "1" and "6" to structure the proof:

The print output is:

Datenschutzerklaerung

© Timm Lampert / 2014-11-08