LMD Async Tutoring

Tutoring
376

not(and (x, not(y)))

not(
	and(
		x
		not(y)))

or(and(not(x), not(y)), or(x, y))

or(
	and(
		not(x)
		not(y))
	or(
		x
		y))

not(and(or(not(x), and(x, y)), not(and(x, or(x, y)))))

not(
	and(
		or(
			not(x)
			and(
				x
				y))
		not(
			and(
				x
				or(
					x
					y)))))

Maybe it’d look better like (parent child child) with this whitespace format instead of parent(child child)? Then you can have the closing brackets under their open brackets. I think I’ve seen this or something like this somewhere.

(not (and x (not y)))

(not
	(and
		x
		(not
			y
		)
	)
)

(or(and(not x)(not y))(or x y)))

(or
	(and
		(not
			x
		)
		(not
			y
		)
	)
	(or
		x
		y
	)
)

not(and(or(not(x), and(x, y)), not(and(x, or(x, y)))))

(not(and(or(not x)(and x y))(not(and x (or x y)))))

(not
	(and
		(or
			(not
				x
			)
			(and
				x
				y
			)
		)
		(not
			(and
				x
				(or
					x
					y
				)
			)
		)
	)
)

Hmm that’s a little bit hard to read. Everything is more spread out. I suppose there are a number of ways to use indenting and whitespace.

1 Like