5 lines
191 B
Text
5 lines
191 B
Text
def logic(a; b):
|
|
"\(a) and \(b) => \(a and b)",
|
|
"\(a) or \(b) => \(a or b)",
|
|
"\(a) | not => \(a | not)",
|
|
"if \(a) then true else false end => \(if a then true else false end)" ;
|