27 lines
287 B
R
27 lines
287 B
R
a called
|
|
a(1) || b(1) -> TRUE
|
|
|
|
a called
|
|
b called
|
|
a(1) && b(1) -> TRUE
|
|
|
|
a called
|
|
b called
|
|
a(0) || b(1) -> TRUE
|
|
|
|
a called
|
|
a(0) && b(1) -> FALSE
|
|
|
|
a called
|
|
a(1) || b(0) -> TRUE
|
|
|
|
a called
|
|
b called
|
|
a(1) && b(0) -> FALSE
|
|
|
|
a called
|
|
b called
|
|
a(0) || b(0) -> FALSE
|
|
|
|
a called
|
|
a(0) && b(0) -> FALSE
|