The parser part supports all single-char alphabetical variable names:
'a'..='z'
and operation signs:
'∧'
'∨'
'¬'
'('
')'
The program part supports variable names x, y, z, w, but it is easily extendable to support any number of variable names.
The parser part supports all single-char alphabetical variable names:
'a'..='z'
and operation signs:
'∧'
'∨'
'¬'
'('
')'
The program part supports variable names x, y, z, w, but it is easily extendable to support any number of variable names.