Box to avoid math break

Lipen · Lipen · commit 711b275b0be2 · 2026-03-07T21:09:55.000+03:00
diff --git a/homework/hw2.typ b/homework/hw2.typ
@@ -275,7 +275,7 @@ The _size_ of the circuit is the number of gates (internal nodes).
 
   + *Complete Boolean basis.*
     Extend the synthesis question to include NOT gates (full Boolean basis: AND, OR, NOT).
-    Encode the synthesis of $"XOR"(x,y) = (x or y) and (not x or not y)$ using a formula of size $lt.eq 4$ (using AND, OR, NOT gates).
+    Encode the synthesis of $"XOR"(x,y) = (x or y) and #box[$(not x or not y)$]$ using a formula of size $lt.eq 4$ (using AND, OR, NOT gates).
     Run a solver and verify the result.
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -275,7 +275,7 @@ The _size_ of the circuit is the number of gates (internal nodes).`
`275`	`275`
`276`	`276`	`+ Complete Boolean basis.`
`277`	`277`	`Extend the synthesis question to include NOT gates (full Boolean basis: AND, OR, NOT).`
`278`		`- Encode the synthesis of $"XOR"(x,y) = (x or y) and (not x or not y)$ using a formula of size $lt.eq 4$ (using AND, OR, NOT gates).`
	`278`	`+ Encode the synthesis of $"XOR"(x,y) = (x or y) and #box[$(not x or not y)$]$ using a formula of size $lt.eq 4$ (using AND, OR, NOT gates).`
`279`	`279`	`Run a solver and verify the result.`
`280`	`280`	`]`
`281`	`281`