Rewrite implication
Rewrite write_trivial
Update README
Delete some output
Delete x_or
Minor changes
Merge branch 'rewrite_logic'

Conflicts:
	main.cpp