Kratice iz baze v logiki razvršačnja