A binary matrix model that uses Boolean operators for concurrent logic evaluations.