Skip to main content

left_distributive

logicaffeine_kernel::word_ring

Function left_distributive 

Source 
pub fn left_distributive() -> bool
Expand description

a · (b + c) = a · b + a · c — left distributivity in ℤ/2ⁿ.