import IO;

public void logic(bool a, bool b){
	println("a and b, is <a && b>");
	println("a or b, is <a || b>");
	println("a equivalent to b, is <a <==> b>");
	println("a implies b, is <a ==> b>");
	println("not a", <!a>");
}