var name f(x) = 1 f(x) = d
"5 char+num" "num sep ," "num sep ,"
/ \ / \ / \
(\w\d){5} [01]:(\d+,)*\d+;(\d+,)*\d*
\ /
"0 OR 1"
table type
| x3, x4 | |||||
| 00 | 01 | 11 | 10 | ||
| x1, x2 | 00 | ||||
| 01 | |||||
| 11 | |||||
| 10 | |||||
| x5 = 0 | |||||
| x3, x4 | |||||
| 00 | 01 | 11 | 10 | ||
| x1, x2 | 00 | ||||
| 01 | |||||
| 11 | |||||
| 10 | |||||
| x5 = 1 | |||||