diff --git a/src/html/logax.html b/src/html/logax.html
index 3ac7d7bb..67ba5cdf 100644
--- a/src/html/logax.html
+++ b/src/html/logax.html
@@ -42,7 +42,7 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
 		<div class="row">
 			<div class="col-4">
 			    <form class="kbinput">
-			        <input type="text" class="form-control kbinput" id="new-formula-1">
+			        <input type="text" class="form-control kbinput" id="new-formula-1" autocomplete="false">
 			        <div id="new-input-1" class="kbinput-wrapper"></div>
 			    </form>
 			</div>
@@ -51,7 +51,7 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
 			</div>
 			<div class="col-4">
 			    <form class="kbinput">
-			        <input type="text" class="form-control kbinput" id="new-formula-2">
+			        <input type="text" class="form-control kbinput" id="new-formula-2" autocomplete="false">
 			        <div id="new-input-2" class="kbinput-wrapper"></div>
 			    </form>
 			</div>
@@ -68,7 +68,7 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 		<div class="row" id="lemma-row" style="display: none">
 			<div class="col-4">
 			    <form class="kbinput">
-			        <input type="text" class="form-control kbinput" id="new-lemma-1">
+			        <input type="text" class="form-control kbinput" id="new-lemma-1" autocomplete="false">
 			        <div id="new-lemma-input-1" class="kbinput-wrapper"></div>
 			    </form>
 			</div>
@@ -77,7 +77,7 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 			</div>
 			<div class="col-4">
 			    <form class="kbinput">
-			        <input type="text" class="form-control kbinput" id="new-lemma-2">
+			        <input type="text" class="form-control kbinput" id="new-lemma-2" autocomplete="false">
 			        <div id="new-lemma-input-2" class="kbinput-wrapper"></div>
 			    </form>
 			</div>
@@ -134,7 +134,7 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.assumption" id="assumption-phi" style="display: none">
 								<td><span translate-key="logax.rule.assumption.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="assumption-formula-phi">
+									<input type="text" class="form-control kbinput" id="assumption-formula-phi" autocomplete="false">
 									<div id="assumption-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
@@ -149,14 +149,14 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.axiom-a" id="axiom-a-phi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-a.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-a-formula-phi">
+									<input type="text" class="form-control kbinput" id="axiom-a-formula-phi" autocomplete="false">
 									<div id="axiom-a-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.axiom-a" id="axiom-a-psi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-a.psi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-a-formula-psi">
+									<input type="text" class="form-control kbinput" id="axiom-a-formula-psi" autocomplete="false">
 									<div id="axiom-a-psi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
@@ -171,21 +171,21 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-phi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-b.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-b-formula-phi">
+									<input type="text" class="form-control kbinput" id="axiom-b-formula-phi" autocomplete="false">
 									<div id="axiom-b-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-psi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-b.psi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-b-formula-psi">
+									<input type="text" class="form-control kbinput" id="axiom-b-formula-psi" autocomplete="false">
 									<div id="axiom-b-psi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-chi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-b.chi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-b-formula-chi">
+									<input type="text" class="form-control kbinput" id="axiom-b-formula-chi" autocomplete="false">
 									<div id="axiom-b-chi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
@@ -200,14 +200,14 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.axiom-c" id="axiom-c-phi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-c.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-c-formula-phi">
+									<input type="text" class="form-control kbinput" id="axiom-c-formula-phi" autocomplete="false">
 									<div id="axiom-c-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.axiom-c" id="axiom-c-psi" style="display: none">
 								<td><span translate-key="logax.rule.axiom-c.psi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="axiom-c-formula-psi">
+									<input type="text" class="form-control kbinput" id="axiom-c-formula-psi" autocomplete="false">
 									<div id="axiom-c-psi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
@@ -247,7 +247,7 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.deduction" id="deduction-phi" style="display: none">
 								<td><span translate-key="logax.rule.deduction.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="deduction-formula-phi">
+									<input type="text" class="form-control kbinput" id="deduction-formula-phi" autocomplete="false">
 									<div id="deduction-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
@@ -261,20 +261,20 @@ <h4 translate-key="logax.instruction.lemma"></h4>
 							<tr rule="logic.propositional.axiomatic.goal" id="goal-phi" style="display: none">
 								<td><span translate-key="logax.rule.goal.phi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="goal-formula-phi">
+									<input type="text" class="form-control kbinput" id="goal-formula-phi" autocomplete="false">
 									<div id="goal-phi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.goal" id="goal-psi" style="display: none">
 								<td><span translate-key="logax.rule.goal.psi" class="float-right"></span></td>
 								<td><form class="kbinput">
-									<input type="text" class="form-control kbinput" id="goal-formula-psi">
+									<input type="text" class="form-control kbinput" id="goal-formula-psi" autocomplete="false">
 									<div id="goal-psi-input" class="kbinput-wrapper"></div>
 								</form></td>
 							</tr>
 							<tr rule="logic.propositional.axiomatic.goal" id="goal-stepnr" style="display: none">
 								<td><span translate-key="logax.rule.goal.stepnr" class="float-right"></span></td><td>
-									<input type="text" id="goal-select-stepnr" class="form-control input">
+									<input type="text" id="goal-select-stepnr" class="form-control input" autocomplete="false">
 									<span translate-key="logax.rule.goal.stepExp"></span>
 								</td>
 							</tr>
diff --git a/src/html/oneway.html b/src/html/oneway.html
index 1fd0973d..c51b636f 100644
--- a/src/html/oneway.html
+++ b/src/html/oneway.html
@@ -61,7 +61,7 @@ <h4 id="exercise-title"></h4>
 		<div class="row">
 			<div class="col-9">
 				<form class="kbinput">
-					<input type="text" class="form-control kbinput" id="new-formula">
+					<input type="text" class="form-control kbinput" id="new-formula" autocomplete="false">
 					<div id="new-input" class="kbinput-wrapper"></div>
 				</form>
 			</div>
@@ -98,7 +98,7 @@ <h4 id="exercise-title"></h4>
 					</td>
 					<td class="col-formula">
 						<form class="kbinput">
-							<input type="text" class="form-control kbinput" id="formula">
+							<input type="text" class="form-control kbinput" id="formula" autocomplete="false">
 							<input type="hidden" id="formulaoriginal">
 							<div id="one-way-input" class="kbinput-wrapper"></div>
 						</form>
diff --git a/src/html/twoway.html b/src/html/twoway.html
index f19c71a3..1a1b0d33 100644
--- a/src/html/twoway.html
+++ b/src/html/twoway.html
@@ -56,7 +56,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
             <div class="row">
                 <div class="col-4">
                     <form class="kbinput">
-                        <input type="text" class="form-control kbinput" id="new-formula-1">
+                        <input type="text" class="form-control kbinput" id="new-formula-1" autocomplete="false">
                         <div id="new-input-1" class="kbinput-wrapper"></div>
                     </form>
                 </div>
@@ -65,7 +65,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
                 </div>
                 <div class="col-4">
                     <form class="kbinput">
-                        <input type="text" class="form-control kbinput" id="new-formula-2">
+                        <input type="text" class="form-control kbinput" id="new-formula-2" autocomplete="false">
                         <div id="new-input-2" class="kbinput-wrapper"></div>
                     </form>
                 </div>
@@ -105,7 +105,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
                         </td>
                         <td class="col-formula">
                             <form class="kbinput">
-                                <input type="text" class="form-control kbinput" id="formula">
+                                <input type="text" class="form-control kbinput" id="formula" autocomplete="false">
                                 <div id="two-way-input" class="kbinput-wrapper"></div>
                             </form>
                         </td>